From: simonmar <unknown>
Date: Tue, 24 Apr 2001 13:05:51 +0000 (+0000)
Subject: [project @ 2001-04-24 13:05:51 by simonmar]
X-Git-Tag: Approximately_9120_patches~2112
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=aa143d21f5dfbcbda4d5c032d5c3db4ed6b10e7a;p=ghc-hetmet.git

[project @ 2001-04-24 13:05:51 by simonmar]
ShowTiming should not be on by default.
---

diff --git a/ghc/compiler/ghci/InteractiveUI.hs b/ghc/compiler/ghci/InteractiveUI.hs
index 082d565..6a7ffa5 100644
--- a/ghc/compiler/ghci/InteractiveUI.hs
+++ b/ghc/compiler/ghci/InteractiveUI.hs
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
--- $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 ()