From 542a09ab22c21db1150ac607b8c2adaaf23fdf8a Mon Sep 17 00:00:00 2001 From: Etienne Kneuss <ekneuss@gmail.com> Date: Mon, 26 Nov 2012 16:06:56 +0100 Subject: [PATCH] better hashcode for identifiers --- src/main/scala/leon/purescala/Common.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala index 172b34ffe..049da29b3 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) { -- GitLab