From dd20b2f3e1871cc71bfd9fe07aadf60e71c35905 Mon Sep 17 00:00:00 2001
From: Paolo Capriotti <p.capriotti@gmail.com>
Date: Fri, 27 Apr 2012 09:40:40 +0100
Subject: [PATCH] Flags documentation: -fwarn-unrecognized-pragmas is enabled
 by -Wall (#6050)

MERGED from commit 44098b3dab032a83cc869855de67377f41d82384
---
 docs/users_guide/using.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 08865e6e7a06..e01de0ff38cf 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -979,7 +979,6 @@ ghc -c Foo.hs</screen>
             <option>-fwarn-incomplete-uni-patterns</option>,
             <option>-fwarn-incomplete-record-updates</option>,
             <option>-fwarn-monomorphism-restriction</option>,
-            <option>-fwarn-unrecognised-pragmas</option>,
             <option>-fwarn-auto-orphans</option>,
             <option>-fwarn-implicit-prelude</option>.</para>
 	</listitem>
-- 
GitLab