checking in example

[IRC.git] / Robust / src / RepairTest / specs / Example2 / Example2.space

diff --git a/Robust/src/RepairTest/specs/Example2/Example2.space b/Robust/src/RepairTest/specs/Example2/Example2.space
new file mode 100755 (executable)
index 0000000..41bdc3b
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example2/Example2.space
@@ -0,0 +1,6 @@
+// Space Definition Language File
+
+set Example(Example);
+X: Example -> int;
+Y: Example -> int;
+Z: Example -> int;