Remove warning supression klugde in main/HeaderInfo
authorThomas Schilling <nominolo@googlemail.com>
Fri, 21 Nov 2008 14:41:55 +0000 (14:41 +0000)
committerThomas Schilling <nominolo@googlemail.com>
Fri, 21 Nov 2008 14:41:55 +0000 (14:41 +0000)
commiteb0e20bd2c73df8c6e2eb05f6545ced2e9b91b75
tree61021fc021d4074c6f801cf50d97b5fc2a0e779e
parent3ebcd3deb769a03f4ded0fca2cf38201048c0214
Remove warning supression klugde in main/HeaderInfo
compiler/main/HeaderInfo.hs