X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FMain%2FMain.java;h=b1b8fd336cebbf818e33d84a2ce1f5e8a2add2b2;hp=d573dabfbb8bf1db9655e57ee1cecb07033b1b77;hb=33aa0abebaf0a604d0f9d1e69a519d16f22a4a4d;hpb=c7f531ddf7a7d0dd1500b11ab6e3108c8924f796

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d573dabf..b1b8fd33 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -83,7 +83,9 @@ public class Main {
       if (option.equals("-precise"))
         IR.Flat.BuildCode.GENERATEPRECISEGC=true;
       else if (option.equals("-jni"))
-        state.JNI=true;
+	state.JNI=true;
+      else if (option.equals("-capture-null-dereferences"))
+        state.CAPTURE_NULL_DEREFERENCES=true;
       else if (option.equals("-prefetch"))
         state.PREFETCH=true;
       else if (option.equals("-dir"))