Small changes to allow:
[repair.git] / Repair / RepairCompiler / MCC / IR / RepairGenerator.java
index cc07b7e..cf2b98d 100755 (executable)
@@ -57,7 +57,6 @@ public class RepairGenerator {
        }
     }
 
-
     private void name_updates() {
        int count=0;
        for(Iterator it=termination.updatenodes.iterator();it.hasNext();) {