Removed duplicate entry for derbugging flag -ddump-tc from the user guide

[ghc-hetmet.git] / docs / users_guide / debugging.xml

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 2a88767..4ab4379 100644 (file)
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -60,16 +60,6 @@
 
            <varlistentry>
              <term>
-               <option>-ddump-tc</option>:
-                <indexterm><primary><option>-ddump-tc</option></primary></indexterm>
-             </term>
-             <listitem>
-               <para>typechecker output</para>
-             </listitem>
-           </varlistentry>
-
-           <varlistentry>
-             <term>
                <option>-ddump-splices</option>:
                 <indexterm><primary><option>-ddump-splices</option></primary></indexterm>
              </term>
@@ -429,7 +419,7 @@
          <para>In error messages, expressions are printed to a
          certain &ldquo;depth&rdquo;, with subexpressions beyond the
          depth replaced by ellipses.  This flag sets the
-         depth.</para>
+         depth.  Its default value is 5.</para>
        </listitem>
       </varlistentry>