missing file

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index e739dd88303bde7766717e192a6ebefdd8231b85..713354f4697b6ee7c1e24acc13e610c4f27af605 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -85,7 +85,8 @@ public class State {
   public String structfile;
   public String main;
   public String outputdir = "/scratch/";
-
+  public boolean INLINEATOMIC=false;
+  public int inlineatomicdepth;
   public HashSet selfloops;
   public HashSet excprefetch;
   public Vector classpath;