This commit was manufactured by cvs2svn to create tag 'buildscript'.

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

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