fix for ssJava: realized that annotation should not be a part of hash code.

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index edf282446e53c29a02bc663c4aec5bcdee61b1cc..855345789a76f69727efd793c2f889d191fbc3ce 100644 (file)
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -69,7 +69,6 @@ public class TypeDescriptor extends Descriptor {
 
   public int hashCode() {
     int hashcode=type^arraycount;
-    hashcode+=annotationSet.hashCode();
     if (type==CLASS)
       hashcode^=getSymbol().hashCode();
     return hashcode;