From b6433726e9c4a3633ff52daadfae3fd3872b2f58 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 8 Sep 2006 01:58:55 +0000
Subject: [PATCH] small change

---
 Repair/RepairCompiler/MCC/IR/RepairGenerator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
index 35925f3..656698e 100755
--- 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();
-- 
2.34.1