[haddock @ 2003-11-05 11:22:04 by simonmar]

Remove the last of the uses of 'trace' to emit warnings, and tidy up a
couple of places where duplicate warnings were being emitted.

0 files changed, 0 insertions, 0 deletions