From 54597fb35ad6948a03dddb1744c32c4e3648244b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 20 Feb 2005 20:38:05 +0000
Subject: [PATCH] Make merging nodes an option.

---
 Repair/RepairCompiler/MCC/IR/Termination.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index 5d25732..0a0859c 100755
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -346,7 +346,8 @@ public class Termination {
 	    TermNode tnsatisfy=new TermNode(satisfy);
 	    GraphNode gnsatisfy=new GraphNode("SatisfyRule"+i,tnsatisfy);
 	    gnsatisfy.setOption(scopeoption);
-	    gnsatisfy.setMerge();
+            if (Compiler.MERGENODES)
+                gnsatisfy.setMerge();
 	    ConsequenceNode cnsatisfy=new ConsequenceNode();
 	    TermNode ctnsatisfy=new TermNode(cnsatisfy);
 	    GraphNode cgnsatisfy=new GraphNode("ConseqSatisfyRule"+i,ctnsatisfy);
@@ -362,7 +363,8 @@ public class Termination {
 	    TermNode tnfalsify=new TermNode(falsify);
 	    GraphNode gnfalsify=new GraphNode("FalsifyRule"+i,tnfalsify);
 	    gnfalsify.setOption(scopeoption);
-	    gnfalsify.setMerge();
+            if (Compiler.MERGENODES)
+                gnfalsify.setMerge();
 	    ConsequenceNode cnfalsify=new ConsequenceNode();
 	    TermNode ctnfalsify=new TermNode(cnfalsify);
 	    GraphNode cgnfalsify=new GraphNode("ConseqFalsifyRule"+i,ctnfalsify);
-- 
2.34.1