From 80c6300d103adcc45e50b2c91c104c7c1ce6dfc3 Mon Sep 17 00:00:00 2001
From: schinz <schinz@epfl.ch>
Date: Tue, 25 Jan 2005 13:59:35 +0000
Subject: - bug fix: use System.identityHashCode to get t...

- bug fix: use System.identityHashCode to get the hash code of the
instance (otherwise the redefined version might not be appropriate, and
could even crash)
---
 sources/scala/runtime/types/SingleType.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sources')

diff --git a/sources/scala/runtime/types/SingleType.java b/sources/scala/runtime/types/SingleType.java
index e8a7b56f01..f27d5b85f8 100644
--- a/sources/scala/runtime/types/SingleType.java
+++ b/sources/scala/runtime/types/SingleType.java
@@ -42,6 +42,6 @@ public class SingleType extends Type {
     }
 
     public int hashCode() {
-        return instance.hashCode();
+        return System.identityHashCode(instance);
     }
 }
-- 
cgit v1.2.3