From e735f27ef12e1e5cc874ee614812aea27a7a3310 Mon Sep 17 00:00:00 2001
From: cristic <cristic>
Date: Fri, 16 Apr 2004 22:51:51 +0000
Subject: [PATCH] More bugs fixed.

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

diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
index fb78939..741087e 100755
--- a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
+++ b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
@@ -1252,6 +1252,8 @@ public class RepairGenerator {
     }
 
     private boolean need_compensation(Rule r) {
+	if (!Compiler.REPAIR)
+	    return false;
 	GraphNode gn=(GraphNode)termination.scopefalsify.get(r);
 	for(Iterator edgeit=gn.edges();edgeit.hasNext();) {
 	    GraphNode.Edge edge=(GraphNode.Edge)edgeit.next();
-- 
2.34.1