From bed8a988df9fa3131c20149e6f1e8ef592be1766 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Thu, 9 Apr 2009 00:05:16 +0000
Subject: [PATCH] fix array reading bug

---
 Robust/src/Benchmarks/SingleTM/LeeRouting/LeeRouter.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Robust/src/Benchmarks/SingleTM/LeeRouting/LeeRouter.java b/Robust/src/Benchmarks/SingleTM/LeeRouting/LeeRouter.java
index e29263d5..1eb389dc 100644
--- a/Robust/src/Benchmarks/SingleTM/LeeRouting/LeeRouter.java
+++ b/Robust/src/Benchmarks/SingleTM/LeeRouting/LeeRouter.java
@@ -85,7 +85,7 @@ public class LeeRouter {
     MAX_WEIGHT = 1;
     netNo = 0;
     // note these very useful arrays
-    int dx[][] = new int[2][4];
+    dx = new int[2][4];
     dx[0][0] = -1;
     dx[0][1] = 1;
     dx[0][2] = 0;
@@ -95,7 +95,7 @@ public class LeeRouter {
     dx[1][2] = -1;
     dx[1][3] = 1;
     // to help look NSEW.
-    int dy[][] = new int[2][4];
+    dy = new int[2][4];
     dy[0][0] = 0;
     dy[0][1] = 0;
     dy[0][2] = -1;
-- 
2.34.1