| commit | 7c3c9331bc1a4e3d45294d9cee30d57d550bc966 | [log] [tgz] |
|---|---|---|
| author | mspector <mspector> | Wed Jul 09 15:53:47 2008 +0000 |
| committer | mspector <mspector> | Wed Jul 09 15:53:47 2008 +0000 |
| tree | f44ab8d89ac725cc795b29ef8b3570a48c6ba554 | |
| parent | b226bb330e2b252540df561e4531497aeef64fce [diff] |
Fix TypeHierarchy.contains()