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

6e353823 · v.dijk.bas@gmail.com · 2838dd97 · 6e353823
Commit 6e353823 authored Sep 20, 2007 by v.dijk.bas@gmail.com
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -58,16 +58,6 @@
 	      </listitem>
 	    </varlistentry>

-	    <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>: