X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FRepairTest%2Fspecs%2FExample2%2FExample2.label;fp=Robust%2Fsrc%2FRepairTest%2Fspecs%2FExample2%2FExample2.label;h=0000000000000000000000000000000000000000;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=d9a35afdd99688b25377b40f7f5052703c465ab5;hpb=2f2cbbbc9385b82d891fabf62ab7e0c5cf364658;p=IRC.git

diff --git a/Robust/src/RepairTest/specs/Example2/Example2.label b/Robust/src/RepairTest/specs/Example2/Example2.label
deleted file mode 100644
index d9a35afd..00000000
--- a/Robust/src/RepairTest/specs/Example2/Example2.label
+++ /dev/null
@@ -1 +0,0 @@
-Example * e;
\ No newline at end of file