X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FoooJava%2Flabyrinth%2FLabyrinth.java;h=56b2ceda05062b1c5381c32fc632812fab7b5e34;hb=b8806556ab04f603adf089c7bd86b92a63964c40;hp=bd7e7e6a147083f2da6aed21efd4105b97d874bc;hpb=4c0d447e6e01694c4bc2aaa7e9edcc6c8d22f109;p=IRC.git

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
index bd7e7e6a..56b2ceda 100644
--- a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
@@ -228,7 +228,7 @@ public class Labyrinth
         if(!stats)
             System.out.println("Verification not passed");
         else 
-            System.out.println("Verification passed.");
+            System.out.println("VALID");
         
         System.out.println("Finished");    
     }