From 55b879349a8d6faeead646c321cd9ecc883b86ff Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Fri, 4 Nov 2011 21:22:31 +0000
Subject: [PATCH] forgot to commit

---
 Robust/src/Analysis/Loops/LoopTerminate.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
         }
-- 
2.34.1