Adjust ghci to new API
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 25 Feb 2013 13:39:40 +0000 (13:39 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 25 Feb 2013 13:39:40 +0000 (13:39 +0000)
commitde803f1e2be53328574ee017c6f67118d91a1966
treee9d607b32a3d3afe2c0675d1aaa86edaaea77ee7
parent9854e919b6f59ebcca32d0c8712beeea5ad3af4a
Adjust ghci to new API
ghci