X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FRepairTest%2Fspecs%2FExample2%2FExample2.model;fp=Robust%2Fsrc%2FRepairTest%2Fspecs%2FExample2%2FExample2.model;h=0000000000000000000000000000000000000000;hp=f6b2b86dc36762bcd855bd0d52458365eb6435bc;hb=refs%2Ftags%2Fbuildscript;hpb=ac6191b514c0e54b468623bf868134e1ce809df5

diff --git a/Robust/src/RepairTest/specs/Example2/Example2.model b/Robust/src/RepairTest/specs/Example2/Example2.model
deleted file mode 100755
index f6b2b86d..00000000
--- a/Robust/src/RepairTest/specs/Example2/Example2.model
+++ /dev/null
@@ -1,4 +0,0 @@
-[], true => e in Example;
-[forall l in Example], true => <l, l.x> in X;
-[forall l in Example], true => <l, l.y> in Y;
-[forall l in Example], true => <l, l.z> in Z;