take loop out...not needed

diff --git a/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java b/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java
index dd08e39dea9211409f8634f30dae7a0ef23d8187..57c06a0f5f20e0dfe2eda06a0359afa0b6752c2e 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java
+++ b/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java
@@ -155,11 +155,9 @@ public class Labyrinth extends Thread{
     }
 
     public void run() {
-        while(true) {
-            Barrier.enterBarrier();
-            Router.solve(routerArg);
-            Barrier.enterBarrier();
-        }
+      Barrier.enterBarrier();
+      Router.solve(routerArg);
+      Barrier.enterBarrier();
     }
 
     public void displayUsage()