Some modifications to allow to print the name of the file when a syntax error is...

[repair.git] / Repair / RepairCompiler / MCC / link.model

diff --git a/Repair/RepairCompiler/MCC/link.model b/Repair/RepairCompiler/MCC/link.model
index b8451212aa47831fab193b954ae90ab6552e3035..1953ef22c7010dc4572a6a384653743f5a6df1b5 100755 (executable)
--- a/Repair/RepairCompiler/MCC/link.model
+++ b/Repair/RepairCompiler/MCC/link.model
@@ -1,5 +1,6 @@
-[], true => head in Nodes;
-[forall node in Nodes], !node.next=literal(0) => node.next in Nodes;
-[forall node in Nodes], true => <node, node.next> in nextnodes;
+[], literal(true) => head in Nodes;
+[forall node in Nodes], !(node.next=literal(0)) => node.next in Nodes;
+[forall node in Nodes], !(node.next=literal(0)) => <node, node.next> in nextnodes;
+[forall node in Nodes], !(node.prev=literal(0)) => <node, node.prev> in prevnodes;