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

12 Oct
2006
12 Oct
'06
2:55 p.m.
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
6867
Age (days ago)
6867
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace