Fix some small things broken with the last merge.
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 13:48:45 +0000 (15:48 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 13:48:45 +0000 (15:48 +0200)
commitd872133bb986dbd15959cbb14504bf9a863e3e4a
treec72a083131fd5b4ef0d6a0d6e71ac7f5f80715cb
parent1b381af863d64aaa0a4dd9c816170c58e6131a9e
Fix some small things broken with the last merge.
compiler/typecheck/TcInstDcls.lhs
compiler/types/Generics.lhs