diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index 172b34ffe06ce4cd3496e939e8f112c043c75543..049da29b33d8a915dfe69022cc256dc1f9823069 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -16,7 +16,7 @@ object Common {
         other.asInstanceOf[Identifier].globalId == this.globalId
     }
 
-    override def hashCode: Int = id
+    override def hashCode: Int = globalId
 
     override def toString: String = {
       if(Settings.showIDs) {