Fixed bug (for reals this time) where there will be multiple traversals on the same...

[IRC.git] / Robust / src / IR / Flat / RuntimeConflictResolver.java

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 6eb378b1da3454715f48326b6eeb3941fc59eb9d..ac3422c6ccaabb454a7fec09f5c5384089ceb823 100644 (file)
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -1294,8 +1294,11 @@ public class RuntimeConflictResolver {
     }
 
     @Override
-    public boolean equals(Object obj) {
-      return original.equals(obj);
+    public boolean equals(Object other) {
+      if(other == null || !(other instanceof ConcreteRuntimeObjNode)) 
+        return false;
+      
+      return original.equals(((ConcreteRuntimeObjNode)other).original);
     }
 
     public int getAllocationSite() {
@@ -1342,8 +1345,9 @@ public class RuntimeConflictResolver {
         ObjRef other = objectRefs.get(objectRefs.indexOf(ref));
         other.mergeWith(ref);
       }
-      else
+      else {
         objectRefs.add(ref);
+      }
     }
     
     public boolean isObjectArray() {