changes

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index e4cba35185f05ad8bfbf07b6fdafaeac00782863..edcb828c20ebd6f9c0a93d8c7c78b52aa74e2adf 100644 (file)
--- 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;