did we just ignore the static field modifier before? How did OOOJ or DOJ work with...

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
index c350075aa2e1799450f50462bcd390f5058f79f9..bd7e7e6a147083f2da6aed21efd4105b97d874bc 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
@@ -70,8 +70,11 @@
 
 public class Labyrinth 
 {
-static  String global_inputFile;
-static   boolean global_doPrint;
+  // jjenista -- not sure what is going with static fields in the general
+  // compiler, let alone disjoint/pointer/OOOJ/DOJ
+  /*static*/  String global_inputFile;
+  /*static*/  boolean global_doPrint;
+
     int numThread;
     int bendCost;
     int xCost;