Moving these

diff --git a/Repair/RepairCompiler/MCC/ex.constraints b/Repair/RepairCompiler/MCC/ex.constraints
deleted file mode 100755 (executable)
index 42e959e..0000000
--- a/Repair/RepairCompiler/MCC/ex.constraints
+++ /dev/null
@@ -1 +0,0 @@
-[], sizeof(Nodes) >= 1;

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;
-
-

diff --git a/Repair/RepairCompiler/MCC/ex.space b/Repair/RepairCompiler/MCC/ex.space
deleted file mode 100755 (executable)
index ac17965..0000000
--- a/Repair/RepairCompiler/MCC/ex.space
+++ /dev/null
@@ -1,4 +0,0 @@
-set Nodes(Node);
-nextnodes : Nodes -> Nodes (1->1);
-prevnodes : Nodes -> Nodes (1->1);
-  

diff --git a/Repair/RepairCompiler/MCC/ex.struct b/Repair/RepairCompiler/MCC/ex.struct
deleted file mode 100755 (executable)
index f8782dc..0000000
--- a/Repair/RepairCompiler/MCC/ex.struct
+++ /dev/null
@@ -1,6 +0,0 @@
-Node* head;
-structure Node {
-     int data;
-     Node *next;
-     Node *prev;
-}

diff --git a/Repair/RepairCompiler/MCC/link.constraints b/Repair/RepairCompiler/MCC/link.constraints
deleted file mode 100755 (executable)
index 9e0c61b..0000000
--- a/Repair/RepairCompiler/MCC/link.constraints
+++ /dev/null
@@ -1,5 +0,0 @@
-[], sizeof(Nodes) >= literal(1);
-[forall node in Nodes], sizeof(node.~nextnodes) <= literal(1);
-[forall n in Nodes], 
-       sizeof(n.nextnodes) = literal(0) or n.nextnodes.prevnodes = n;
-

diff --git a/Repair/RepairCompiler/MCC/link.model b/Repair/RepairCompiler/MCC/link.model
deleted file mode 100755 (executable)
index 1953ef2..0000000
--- a/Repair/RepairCompiler/MCC/link.model
+++ /dev/null
@@ -1,6 +0,0 @@
-[], 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;
-
-

diff --git a/Repair/RepairCompiler/MCC/link.space b/Repair/RepairCompiler/MCC/link.space
deleted file mode 100755 (executable)
index ac17965..0000000
--- a/Repair/RepairCompiler/MCC/link.space
+++ /dev/null
@@ -1,4 +0,0 @@
-set Nodes(Node);
-nextnodes : Nodes -> Nodes (1->1);
-prevnodes : Nodes -> Nodes (1->1);
-  

diff --git a/Repair/RepairCompiler/MCC/link.struct b/Repair/RepairCompiler/MCC/link.struct
deleted file mode 100755 (executable)
index f8782dc..0000000
--- a/Repair/RepairCompiler/MCC/link.struct
+++ /dev/null
@@ -1,6 +0,0 @@
-Node* head;
-structure Node {
-     int data;
-     Node *next;
-     Node *prev;
-}