From: simonmar <unknown>
Date: Thu, 1 Feb 2001 11:47:53 +0000 (+0000)
Subject: [project @ 2001-02-01 11:47:53 by simonmar]
X-Git-Tag: Approximately_9120_patches~2758
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7b4d23eff4a772e031a81a1f218a7354ee0ac98c;p=ghc-hetmet.git

[project @ 2001-02-01 11:47:53 by simonmar]
remove unused v_ProduceHi
---

diff --git a/ghc/compiler/main/DriverState.hs b/ghc/compiler/main/DriverState.hs
index bbaadd5..ab07095 100644
--- a/ghc/compiler/main/DriverState.hs
+++ b/ghc/compiler/main/DriverState.hs
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
--- $Id: DriverState.hs,v 1.25 2001/01/19 15:26:37 simonmar Exp $
+-- $Id: DriverState.hs,v 1.26 2001/02/01 11:47:53 simonmar Exp $
 --
 -- Settings for the driver
 --
@@ -115,7 +115,6 @@ osuf_ify f = do
 -----------------------------------------------------------------------------
 -- Hi Files
 
-GLOBAL_VAR(v_ProduceHi,    	True,	Bool)
 GLOBAL_VAR(v_Hi_on_stdout, 	False,	Bool)
 GLOBAL_VAR(v_Hi_suf,          	"hi",	String)