Fix printing of formulas in AppFormula
authorAnders <mortberg@chalmers.se>
Fri, 20 Mar 2015 10:08:18 +0000 (11:08 +0100)
committerAnders <mortberg@chalmers.se>
Fri, 20 Mar 2015 10:08:18 +0000 (11:08 +0100)
commit697f32fb656a38999db9d79d9c3c55bc28be010f
tree9956dabdf02a2430196a6dc627c0319fe16edb64
parent56bf08e9545d7c76f84203737b5388ddea57e31d
Fix printing of formulas in AppFormula
CTT.hs
Resolver.hs