From 0206799932d7647cda24ab9823d70cb412f87fe9 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Mon, 12 Oct 2009 11:02:16 +0000
Subject: [PATCH] remove duplicate entry for -fwarn-unused-do-bind (#3576)

---
 docs/users_guide/6.12.1-notes.xml |   11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/docs/users_guide/6.12.1-notes.xml b/docs/users_guide/6.12.1-notes.xml
index 210adeb..f1d1ed5 100644
--- a/docs/users_guide/6.12.1-notes.xml
+++ b/docs/users_guide/6.12.1-notes.xml
@@ -215,16 +215,7 @@ data instance T [a] where
           block, but its result is not bound.
           The flags <literal>-fwarn-unused-do-bind</literal>
           and <literal>-fwarn-wrong-do-bind</literal> control
-          these warnings.
-        </para>
-      </listitem>
-
-      <listitem>
-        <para>
-          There is a new warning if a monadic result of type other than
-          <literal>m ()</literal> is not bound.
-          The flag <literal>-fwarn-unused-do-bind</literal> controls
-          this warning.
+          these warnings (see <xref linkend="options-sanity" />).
         </para>
       </listitem>
 
-- 
1.7.10.4