X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FRepairGenerator.java;h=cf2b98d22604ef4cc0a10b788470315a9e9dca97;hp=cc07b7e342108a8df208fe2a6af6f7be26d9edb4;hb=494b62b8ddfc3c3a7282aab4ad96d0e10fb1d1bc;hpb=38706bcbe3752535688ea2a5817e20c71315aa28

diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
index cc07b7e..cf2b98d 100755
--- a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
+++ b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
@@ -57,7 +57,6 @@ public class RepairGenerator {
 	}
     }
 
-
     private void name_updates() {
 	int count=0;
 	for(Iterator it=termination.updatenodes.iterator();it.hasNext();) {