Jim told me to change the int hashCodeSpecific() function to return id.hashCode(...

diff --git a/Robust/src/Analysis/Disjoint/AllocSite.java b/Robust/src/Analysis/Disjoint/AllocSite.java
index 6589ecb52f985697d02a889c66f176f32da8f446..282162cfcb595fcdaef93891d1fd16d6880c381e 100644 (file)
--- a/Robust/src/Analysis/Disjoint/AllocSite.java
+++ b/Robust/src/Analysis/Disjoint/AllocSite.java
@@ -299,6 +299,6 @@ public class AllocSite extends Canonical {
   }
 
   public int hashCodeSpecific() {
-    return id;
+    return id.hashCode();
   }  
 }