Doc fix (follow up to #9957)
authorAustin Seipp <austin@well-typed.com>
Mon, 19 Jan 2015 14:23:51 +0000 (08:23 -0600)
committerAustin Seipp <austin@well-typed.com>
Mon, 19 Jan 2015 14:23:51 +0000 (08:23 -0600)
Signed-off-by: Austin Seipp <austin@well-typed.com>
docs/users_guide/using.xml

index 0504fb5..1940e7a 100644 (file)
@@ -1862,7 +1862,7 @@ data Vec n s where
             and <function>Succ</function> are not written as <function>'Zero</function> and
             <function>'Succ</function>.
             </para>
-            <para>This warning is off by default.</para>
+            <para>This warning is is enabled by default in <literal>-Wall</literal> mode.</para>
         </listitem>
       </varlistentry>