[project @ 2003-06-25 08:20:20 by simonpj]

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

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 8a1f164..afd7622 100644 (file)
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -728,10 +728,10 @@
            </row>
 
            <row>
-             <entry><option>-ffoldr-build-on</option></entry>
-             <entry>Enable foldr-build optimisation</entry>
+             <entry><option>-frules-off</option></entry>
+             <entry>Switch off all rewrite rules</entry>
              <entry>static</entry>
-             <entry><option>-fno-foldr-build-on</option></entry>
+             <entry><option>-frules-off</option></entry>
            </row>
 
            <row>