Fix a bug in subsumption, and tweak error messages
[ghc-hetmet.git] / rts / gmp / stamp-h.in
1 timestamp