[cvs-nhc98] patch applied (hat): another Data.Set API fix for ghc 6.2.x vs 6.4.x

Wed Nov 15 02:41:22 PST 2006 Malcolm.Wallace@cs.york.ac.uk * another Data.Set API fix for ghc 6.2.x vs 6.4.x M ./src/hattools/Pretty.hs -4 +5