From 25bfeadce997376b9bafbb7dfbeb8ee2f4924b6a Mon Sep 17 00:00:00 2001
From: David Waern <davve@dtek.chalmers.se>
Date: Mon, 7 Jan 2008 16:23:52 +0000
Subject: Remove --no-implicit-prelide flag

---
 src/Haddock/Options.hs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/Haddock')

diff --git a/src/Haddock/Options.hs b/src/Haddock/Options.hs
index 88ba56c3..31976ae0 100644
--- a/src/Haddock/Options.hs
+++ b/src/Haddock/Options.hs
@@ -63,7 +63,6 @@ data Flag
   | Flag_Hoogle
   | Flag_HtmlHelp String
   | Flag_Lib String
-  | Flag_NoImplicitPrelude
   | Flag_OutputDir FilePath
   | Flag_Prologue FilePath
   | Flag_SourceBaseURL   String
@@ -127,8 +126,6 @@ options backwardsCompat =
 	"file containing prologue text",
     Option ['t']  ["title"]    (ReqArg Flag_Heading "TITLE")
 	"page heading",
-    Option ['n']  ["no-implicit-prelude"] (NoArg Flag_NoImplicitPrelude)
- 	"do not assume Prelude is imported",
     Option ['d']  ["debug"]  (NoArg Flag_Debug)
 	"extra debugging output",
     Option ['?']  ["help"]  (NoArg Flag_Help)
-- 
cgit v1.2.3