Update Misc.hs

Eliminating debug messages in trapping.