*** 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 (executable)
index 0000000..ffcc0b4
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 124c93bf1474d3abd247cc95409bb9e48b203f06..89600961e69d8bbd0a1ea82f381385fa3f5b5ac3 100644 (file)
--- 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();