Add newline at the end of file.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 09:54:58 +0000 (11:54 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 09:54:58 +0000 (11:54 +0200)
commit57b95a135792cc76493402f716e33cbf9853b5c4
tree476ac352bb2a82eff9e36cb961489e821269aa26
parentd0afb7276c06414c1930a2e76271239ebe9b93b0
Add newline at the end of file.
CoreTools.hs