From 2a0413ceb2d7a839f83bae7e428e24b1957d3cfe Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Wed, 30 Sep 2009 17:41:59 +0000
Subject: [PATCH] changes

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

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index e4cba351..edcb828c 100644
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -80,6 +80,7 @@ public class State {
   public boolean MLPDEBUG=false;
   public int MLP_NUMCORES=0;
   public int MLP_MAXSESEAGE=0;
+  public boolean METHODEFFECTS=false;
   public static double TRUEPROB=0.8;
   public static boolean PRINTFLAT=false;
   public static boolean PRINTSCHEDULING=false;
-- 
2.34.1