From 96ebd0c6957f9130e3ff56768c631ac4b1bf89d3 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Mon, 18 Apr 2011 22:24:08 +0000
Subject: [PATCH] fix for ssJava: realized that annotation should not be a part
 of hash code.

---
 Robust/src/IR/TypeDescriptor.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index edf28244..85534578 100644
--- 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;
-- 
2.34.1