[cvs-nhc98] patch applied (hat): fix compatibility with ghc-6.2.2 (change in Data.Set API)

Thu Oct 12 07:54:27 PDT 2006 Malcolm.Wallace@cs.york.ac.uk * fix compatibility with ghc-6.2.2 (change in Data.Set API) M ./src/hattools/Pretty.hs +1