test

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

diff --git a/Repair/RepairCompiler/MCC/link.space b/Repair/RepairCompiler/MCC/link.space
index e87d88e600006a9b53625f482af83ac609d69559..ac179652607a78ebc0b1bad5bd4f7414c7e0018f 100755 (executable)
--- a/Repair/RepairCompiler/MCC/link.space
+++ b/Repair/RepairCompiler/MCC/link.space
@@ -1,3 +1,4 @@
 set Nodes(Node);
-nextnodes : Node -> Node (1->1);
+nextnodes : Nodes -> Nodes (1->1);
+prevnodes : Nodes -> Nodes (1->1);