From: yeom <yeom>
Date: Fri, 4 Nov 2011 21:22:31 +0000 (+0000)
Subject: forgot to commit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=55b879349a8d6faeead646c321cd9ecc883b86ff;p=IRC.git

forgot to commit
---

diff --git a/Robust/src/Analysis/Loops/LoopTerminate.java b/Robust/src/Analysis/Loops/LoopTerminate.java
index 004e4712..054ad337 100644
--- 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;
         }