Random small changes...

[repair.git] / Repair / RepairCompiler / MCC / IR / Termination.java

diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index 2687f51711fccbd80b51fd6b5f06f9f8ef515afa..24617a3e243d7962a80d165bb4e87b797ab188b9 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -192,7 +192,7 @@ public class Termination {
            MultUpdateNode mun=tn.getUpdate();
            for(int i=0;i<mun.numUpdates();i++) {
                UpdateNode un=mun.getUpdate(i);
-               for(int j=0;j<mun.numUpdates();j++) {
+               for(int j=0;j<un.numUpdates();j++) {
                    Updates u=un.getUpdate(j);
                    if (u.getType()==Updates.ABSTRACT) {
                        Expr e=u.getLeftExpr();
@@ -882,7 +882,7 @@ public class Termination {
                // We have an ArrayDescriptor!
                Expr index=de.getIndex();
                if (!index.isValue()) {/* Not assignable */
-                   System.out.println("ERROR:Index is assignable");
+                   System.out.println("ERROR:Index isn't assignable");
                    return false;
                }
                Updates updates=new Updates(index,i,ap,lexpr,slotnumber);