From b456a9dd1336fdbff11e4a3c131d8568bf0c8f81 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 3 Apr 2009 20:19:37 +0000
Subject: [PATCH] state change

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

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 083cfada..e7cc04d5 100644
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -98,7 +98,7 @@ public class State {
   private int numclasses=0;
   private int numtasks=0;
   private int arraycount=0;
-
+  public boolean OPTIMIZE=false;
 
 
   private Hashtable<ClassDescriptor, Hashtable<OptionalTaskDescriptor, OptionalTaskDescriptor>> optionaltaskdescriptors;
-- 
2.34.1