forgot to commit

diff --git a/Robust/src/Analysis/Loops/LoopTerminate.java b/Robust/src/Analysis/Loops/LoopTerminate.java
index 004e471210fdf9edccd8a190eab8769927a870f6..054ad337eeaba02b4ae355d1999563a691ac99e1 100644 (file)
--- a/Robust/src/Analysis/Loops/LoopTerminate.java
+++ b/Robust/src/Analysis/Loops/LoopTerminate.java
@@ -15,6 +15,7 @@ import IR.Flat.FlatFieldNode;
 import IR.Flat.FlatMethod;
 import IR.Flat.FlatNode;
 import IR.Flat.FlatOpNode;
+import IR.Flat.FlatSetFieldNode;
 import IR.Flat.TempDescriptor;
 
 public class LoopTerminate {
@@ -456,7 +457,7 @@ public class LoopTerminate {
     for (Iterator iterator = loopElements.iterator(); iterator.hasNext();) {
       FlatNode fn = (FlatNode) iterator.next();
       if (fn.kind() == FKind.FlatSetFieldNode) {
-        FlatFieldNode ffn = (FlatFieldNode) fn;
+        FlatSetFieldNode ffn = (FlatSetFieldNode) fn;
         if (!ffn.equals(guardNode) && ffn.getField().equals(guardNode.getField())) {
           return true;
         }