X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2Foutput%2FFileLength.output.goal;fp=Robust%2Fsrc%2FTests%2Foutput%2FFileLength.output.goal;h=0000000000000000000000000000000000000000;hp=f11c82a4cb6cc2e8f3bdf52b5cdeaad4d5bb214e;hb=refs%2Ftags%2Fbuildscript;hpb=d10ef53954b37b62a281cc4e79aef7a4be2af98a

diff --git a/Robust/src/Tests/output/FileLength.output.goal b/Robust/src/Tests/output/FileLength.output.goal
deleted file mode 100644
index f11c82a4..00000000
--- a/Robust/src/Tests/output/FileLength.output.goal
+++ /dev/null
@@ -1 +0,0 @@
-9
\ No newline at end of file