remove no-longer-necessary equals() and hashCode() methods
authoradam <adam@megacz.com>
Sun, 3 Jul 2005 00:29:44 +0000 (00:29 +0000)
committeradam <adam@megacz.com>
Sun, 3 Jul 2005 00:29:44 +0000 (00:29 +0000)
commitee714c9139c4336b29d7fdc5a635fca430f2049e
tree03e4069c894c0d0096e722917144ccb3dc478a49
parent41323af6deb26dfdadae287cfc79121837175627
remove no-longer-necessary equals() and hashCode() methods

darcs-hash:20050703002944-5007d-278df3cd93fc2070735e2bf2ecdef8e0d6916648.gz
src/org/ibex/classgen/Type.java