commit | ba0ba411d1c320a85cac2b2f662a0faa52e12463 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 30 21:22:10 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 30 21:22:10 2001 +0000 |
tree | 5816636b16c44096f4a482e1813fc46feab75d3f | |
parent | b214c36d0a4f2c2aae60a300cf41b4814593fd56 [diff] |
Case mismatch in "import Types". Apparently nobody has looked at this for a looooong time. Reported by Chris Smith.