Change the debug output of applyboth a bit.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:47:51 +0000 (16:47 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:52:58 +0000 (16:52 +0200)
commita4d372dbdfce2a3bddfda1c352f8dd05146f4f71
treeb7c0e803fafffcc1dfbd651396666a28cd58703b
parente22ea2b99253fddd3846b2b219ca7a896a63d465
Change the debug output of applyboth a bit.
NormalizeTools.hs