@@ -234,10 +234,15 @@ return type.equals(((ClassDeclaration)obj).type); } return false; } + @Override + public int hashCode() { + return type.hashCode(); + } + /** * toString */ public String toString() { String name = getName().toString();