From 6e7c815a8880c2b7ab2d9ddbf61e642ca05a73d2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 26 Jun 2009 00:29:54 +0000
Subject: [PATCH] missing file

---
 Robust/src/IR/State.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index e739dd88..713354f4 100644
--- 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;
-- 
2.34.1