X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FCLI.java;h=28ecc2973c0ff7bf06b2a02693e60ec2521e1c4e;hp=10d5d4b4c92cce25a6f1e38c1a87b867990cd079;hb=2409ec48449928d85300b050d742be64e54706fb;hpb=95271a46ce6573ff5532fda46561d2936cb25393
diff --git a/Repair/RepairCompiler/MCC/CLI.java b/Repair/RepairCompiler/MCC/CLI.java
index 10d5d4b..28ecc29 100755
--- a/Repair/RepairCompiler/MCC/CLI.java
+++ b/Repair/RepairCompiler/MCC/CLI.java
@@ -11,7 +11,7 @@ import MCC.IR.DebugItem;
* files.
*
* @author le01, 6.035 Staff (6.035-staff@mit.edu)
- * @version $Id: CLI.java,v 1.10 2004/07/27 05:42:30 bdemsky Exp $
+ * @version $Id: CLI.java,v 1.11 2004/08/13 19:22:23 bdemsky Exp $
*/
public class CLI {
/**
@@ -105,6 +105,7 @@ public class CLI {
System.out.println("-instrument -- generate instrumentation code");
System.out.println("-aggressivesearch");
System.out.println("-prunequantifiernodes");
+ System.out.println("-cplusplus");
System.exit(-1);
}
@@ -128,6 +129,8 @@ public class CLI {
Compiler.AGGRESSIVESEARCH=true;
} else if (args[i].equals("-prunequantifiernodes")) {
Compiler.PRUNEQUANTIFIERS=true;
+ } else if (args[i].equals("-cplusplus")) {
+ Compiler.ALLOCATECPLUSPLUS=true;
} else if (args[i].equals("-verbose") || args[i].equals("-v")) {
context = 0;
verbose++;