Moving these

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

diff --git a/Repair/RepairCompiler/MCC/ex.model b/Repair/RepairCompiler/MCC/ex.model
deleted file mode 100755 (executable)
index 2528d0e..0000000
--- a/Repair/RepairCompiler/MCC/ex.model
+++ /dev/null
@@ -1,5 +0,0 @@
-[], !(head=0) => head in Nodes;
-[forall node in Nodes], !(node.next=0) => node.next in Nodes;
-[forall node in Nodes], !(node.next=0) => <node, node.next> in nextnodes;
-
-