From: yeom <yeom>
Date: Wed, 30 Sep 2009 17:41:59 +0000 (+0000)
Subject: changes
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=2a0413ceb2d7a839f83bae7e428e24b1957d3cfe;p=IRC.git

changes
---

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;