Print the 'skipping' messages at verbosity level 1
[ghc-hetmet.git] / compiler / simplCore / SAT.lhs
2006-04-07 Simon MarlowReorganisation of the source tree