Fix a warning when DEBUG is not on
authorIan Lynagh <igloo@earth.li>
Sat, 10 May 2008 22:03:29 +0000 (22:03 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 10 May 2008 22:03:29 +0000 (22:03 +0000)
commit26416bba9d0bfe0b10bfee9d01053cf507d2918b
treedf3ecfdcfd5aea24ed5b91344e61cf8dcde261c5
parentffa600f6702f215dd132b8b1b8a1f07d3a9e3ea6
Fix a warning when DEBUG is not on
compiler/typecheck/Inst.lhs