keep the current snapshot before making further changes.

[IRC.git] / Robust / src / IR / TypeDescriptor.java

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