From: jihoonl <jihoonl>
Date: Tue, 23 Jun 2009 06:29:43 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bf655c5ba4ed6505fe2ac23d46edb200b5838938;p=IRC.git

*** empty log message ***
---

diff --git a/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.bin b/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.bin
new file mode 100755
index 00000000..ffcc0b44
Binary files /dev/null and b/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.bin differ
diff --git a/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java b/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java
index 124c93bf..89600961 100644
--- a/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java
+++ b/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java
@@ -178,8 +178,9 @@ public class Labyrinth extends Thread{
         /*
          * Initailization
          */
+
         Labyrinth labyrinth = new Labyrinth(argv);
-        
+
         Barrier.setBarrier(labyrinth.numThread);
 
         Maze mazePtr = Maze.alloc();