[project @ 2001-06-27 11:29:10 by sewardj]
authorsewardj <unknown>
Wed, 27 Jun 2001 11:29:10 +0000 (11:29 +0000)
committersewardj <unknown>
Wed, 27 Jun 2001 11:29:10 +0000 (11:29 +0000)
Reinstate the no-duplicates ASSERTion.  This was perfectly correct
and the GHCi-on-windows bug which triggered it is elsewhere.


No differences found