Fix warning when USE_READLINE is unset
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 15 Jan 2008 01:50:14 +0000 (01:50 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 15 Jan 2008 01:50:14 +0000 (01:50 +0000)
commit5860730b73d2907a9b35eeb316e374ae5b267aee
treed022d0d3335f0a9f2245818bd789b8ac4f4297d1
parentdfcbf782fc0571014e1d3302d38b33537142159a
Fix warning when USE_READLINE is unset
compiler/ghci/InteractiveUI.hs