From bc7610b67d036158f325811271a6a325c6520b92 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 25 Jun 2009 20:16:41 +0000
Subject: [PATCH] take loop out...not needed

---
 Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java b/Robust/src/Benchmarks/SingleTM/Labyrinth/Labyrinth.java
index dd08e39d..57c06a0f 100644
--- 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() 
-- 
2.34.1