From a2b34fa816f71719dd1fa390c1b06d1102ae047e Mon Sep 17 00:00:00 2001
From: stephey <stephey>
Date: Wed, 8 Sep 2010 22:39:34 +0000
Subject: [PATCH] Jim told me to change the int hashCodeSpecific() function to
 return id.hashCode() instead of id itself.

---
 Robust/src/Analysis/Disjoint/AllocSite.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/Disjoint/AllocSite.java b/Robust/src/Analysis/Disjoint/AllocSite.java
index 6589ecb5..282162cf 100644
--- 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();
   }  
 }
-- 
2.34.1