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

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