More bugs fixed.
authorcristic <cristic>
Fri, 16 Apr 2004 22:51:51 +0000 (22:51 +0000)
committercristic <cristic>
Fri, 16 Apr 2004 22:51:51 +0000 (22:51 +0000)
Repair/RepairCompiler/MCC/IR/RepairGenerator.java

index fb78939..741087e 100755 (executable)
@@ -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();