[project @ 2003-07-10 08:11:36 by simonpj]

Markup fix

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index fa30867..b9464a6 100644 (file)
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -458,7 +458,7 @@
            </row>
            <row>
              <entry><option>-farrows</option></entry>
-             <entry>Enable arrow notation extension
+             <entry>Enable arrow notation extension</entry>
              <entry>dynamic</entry>
              <entry><option>-fno-arrows</option></entry>
            </row>