Fix warning
authorMatthías Páll Gissurarson <pallm@chalmers.se>
Fri, 24 May 2019 11:37:02 +0000 (13:37 +0200)
committerMatthías Páll Gissurarson <pallm@chalmers.se>
Fri, 31 May 2019 17:15:26 +0000 (19:15 +0200)
commitad044888eea51f54f87aeeee7c4cd35192bd6ae6
treee9b746c60e8ed7caf279bec81a95b1ed4b39356a
parent2eb46a771dba9a79d263b963241a14d5fc232def
Fix warning
compiler/typecheck/TcHoleErrors.hs