X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FState.java;fp=Robust%2Fsrc%2FIR%2FState.java;h=00679763478437d06bb1a3046c88586ea6c061d6;hb=5e5c10a2592a9acd282a1ae27bdf7468beb12e90;hp=67b4ff831c4ed86da0bd311d63c6899e7ce99a05;hpb=7becd1f25e9936c0aabe197eadff78ebb73ba3e9;p=IRC.git

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 67b4ff83..00679763 100644
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -151,6 +151,7 @@ public class State {
   public boolean SSJAVAINFER=false;
   public boolean SSJAVA_GENCODE_PREVENT_CRASHES=false;
   public boolean SSJAVA_INJECT_ERROR=false;
+  public boolean SSJAVA_INFER_NAIVE_WRITEDOTS=false;
   public int     SSJAVA_INV_ERROR_PROB=0;
   public int     SSJAVA_ERROR_SEED=0;
   public Set<MethodDescriptor> annotationRequireSet;