Fix compilation of CoreTools.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 9 Apr 2009 16:13:10 +0000 (18:13 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 9 Apr 2009 16:13:10 +0000 (18:13 +0200)
commit976831b932eae534e9e3b8cefd9d3ec51df9d314
tree00f036d72641c6f238e568a5e7ec41f3ce2e83c3
parent7351c9c23660a0217c42483e10ac9b7a25cb49b2
Fix compilation of CoreTools.
CoreTools.hs