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, 24 May 2019 11:37:02 +0000 (13:37 +0200)
commite39d3d3acaceade1c06aa7d09b83692f275d0fcb
tree4d95f53a18ada1e286922e7ef9d828ab5ff29a95
parent0acced348f696ebed0d76b5c1c80fe109c4cc8dc
Fix warning
compiler/typecheck/TcHoleErrors.hs