Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...

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

diff --git a/Repair/RepairCompiler/MCC/link.model b/Repair/RepairCompiler/MCC/link.model
index 18c9466026c49b1727f5e798fa312f4c8ac43da4..1953ef22c7010dc4572a6a384653743f5a6df1b5 100755 (executable)
--- a/Repair/RepairCompiler/MCC/link.model
+++ b/Repair/RepairCompiler/MCC/link.model
@@ -1,7 +1,6 @@
 [], 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.prev in Nodes;
 [forall node in Nodes], !(node.prev=literal(0)) => <node, node.prev> in prevnodes;