small change
authorbdemsky <bdemsky>
Fri, 8 Sep 2006 01:58:55 +0000 (01:58 +0000)
committerbdemsky <bdemsky>
Fri, 8 Sep 2006 01:58:55 +0000 (01:58 +0000)
Repair/RepairCompiler/MCC/IR/RepairGenerator.java

index 35925f3..656698e 100755 (executable)
@@ -100,7 +100,7 @@ public class RepairGenerator {
        generate_call();
        generate_start();
         generate_rules();
-       if (!Compiler.REPAIR||Compiler.GENERATEDEBUGPRINT) {
+       if (Compiler.GENERATEDEBUGPRINT) {
            generate_print();
        }
         generate_checks();