From 522f819c8ad0c16f799f4199b4eee9d1d97902c6 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 10 Jul 2003 08:11:36 +0000
Subject: [PATCH] [project @ 2003-07-10 08:11:36 by simonpj] Markup fix

---
 ghc/docs/users_guide/flags.sgml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index fa30867..b9464a6 100644
--- 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>
-- 
1.7.10.4