diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 08865e6e7a065841b7d9e804ecddedc136137ff5..e01de0ff38cf200d5713b141631dd5d550de49c2 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>