[project @ 2001-04-24 13:05:51 by simonmar]

ShowTiming should not be on by default.

[project @ 2001-04-24 13:05:51 by simonmar]
ShowTiming should not be on by default.
aa143d21 · simonmar · e610e616 · aa143d21
Commit aa143d21 authored Apr 24, 2001 by simonmar
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

ghc/compiler/ghci/InteractiveUI.hs ghc/compiler/ghci/InteractiveUI.hs +2 -2

No files found.
--- a/ghc/compiler/ghci/InteractiveUI.hs
+++ b/ghc/compiler/ghci/InteractiveUI.hs
 -----------------------------------------------------------------------------
-- $Id: InteractiveUI.hs,v 1.61 2001/04/23 16:50:48 sewardj Exp $
+-- $Id: InteractiveUI.hs,v 1.62 2001/04/24 13:05:51 simonmar Exp $
 --
 -- GHC Interactive User Interface
 --
@@ -147,7 +147,7 @@ interactiveUI cmstate mod cmdline_libs = do

   (unGHCi runGHCi) GHCiState{ target = mod,
 			       cmstate = cmstate,
-			       options = [ShowTiming] }
+			       options = [] }
   return ()