From: bdemsky <bdemsky>
Date: Fri, 8 Sep 2006 01:58:55 +0000 (+0000)
Subject: small change
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=b6433726e9c4a3633ff52daadfae3fd3872b2f58

small change
---

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();