Checking in specs

[repair.git] / Repair / RepairCompiler / MCC / specs / linkedlists / ex.struct

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