diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Ghci.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Ghci.hs b/src/Ghci.hs index d339d74..ae44881 100644 --- a/src/Ghci.hs +++ b/src/Ghci.hs @@ -75,6 +75,7 @@ makeGhci = do , std_err = UseHandle pipeIn } ghciPutStrLn stdinH ":set -interactive-print=Yahb2Defs.limitedPrint" ghciPutStrLn stdinH ":m" + ghciPutStrLn stdinH ":script initdefs.hs" hFlush stdinH return Ghci { ghciProc = proch , ghciStdin = stdinH |