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

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