small change

[repair.git] / Repair / RepairCompiler / MCC / IR / RepairGenerator.java

diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
index 35925f35c0b2ba6309cc93fc7a1f837755552638..656698e74fbeab3253d80d5a963db83338a88622 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
+++ b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
@@ -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();