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

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

diff --git a/Robust/src/RepairTest/specs/Example/Example.constraints b/Robust/src/RepairTest/specs/Example/Example.constraints
deleted file mode 100755 (executable)
index e7f6d25..0000000
--- a/Robust/src/RepairTest/specs/Example/Example.constraints
+++ /dev/null
@@ -1 +0,0 @@
-[forall e in Example], e.X > 0;
\ No newline at end of file