X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FMain%2FMain.java;h=764e606d95f42c23753e4b53e991c76d125fd199;hb=4e887e987107d49920032760303376ae3eb66c62;hp=9e9dada1c6a429575458eefdd0e77ef2501c25b2;hpb=5c47ddcaa39a5213c3f5b9d6dc4bb07d6e1ca143;p=IRC.git

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 9e9dada1..764e606d 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -337,12 +337,15 @@ public class Main {
 
       } else if (option.equals("-ooodebug") ){ 
 	state.OOODEBUG  = true;
-      } else if (option.equals("-rcr")){
+      } else if (option.equals("-rcr")){      
 	state.RCR = true;
+	state.KEEP_RG_FOR_ALL_PROGRAM_POINTS=true;
       } else if (option.equals("-rcr_debug")){
 	state.RCR_DEBUG = true;
+	state.KEEP_RG_FOR_ALL_PROGRAM_POINTS=true;
       } else if (option.equals("-rcr_debug_verbose")){
   state.RCR_DEBUG_VERBOSE = true;
+  state.KEEP_RG_FOR_ALL_PROGRAM_POINTS=true;
       } else if (option.equals("-nostalltr")){
 	state.NOSTALLTR = true;     
       }else if (option.equals("-help")) {