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

diff --git a/Robust/src/Tests/output/IntegerTest.output.goal b/Robust/src/Tests/output/IntegerTest.output.goal
deleted file mode 100644
index 101e0aec..00000000
--- a/Robust/src/Tests/output/IntegerTest.output.goal
+++ /dev/null
@@ -1,2 +0,0 @@
-312
--34