From 2500333b7329721caa6b82006da4cc72a544fd52 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 21 Jul 2005 09:57:23 +0000
Subject: [PATCH] [project @ 2005-07-21 09:57:23 by simonmar] Remove
 -fnumbers-strict; it doesn't exist any more

---
 ghc/docs/users_guide/flags.xml |    7 -------
 1 file changed, 7 deletions(-)

diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml
index c4aa7cd..e0000f4 100644
--- a/ghc/docs/users_guide/flags.xml
+++ b/ghc/docs/users_guide/flags.xml
@@ -977,13 +977,6 @@
 	    </row>
 
 	    <row>
-	      <entry><option>-fnumbers-strict</option></entry>
-	      <entry>Make numbers strict</entry>
-	      <entry>dynamic</entry>
-	      <entry><option>-fno-numbers-strict</option></entry>
-	    </row>
-
-	    <row>
 	      <entry><option>-funbox-strict-fields</option></entry>
 	      <entry>Flatten strict constructor fields</entry>
 	      <entry>dynamic</entry>
-- 
1.7.10.4