[project @ 2005-07-21 09:57:23 by simonmar]

[ghc-hetmet.git] / ghc / docs / users_guide / flags.xml

diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml
index c4aa7cd..e0000f4 100644 (file)
--- 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>