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

…uide
ghc · Sep 20, 2007 · 6e35382 · 6e35382
1 parent 2838dd9
commit 6e35382
Showing 1 changed file with 0 additions and 10 deletions.
diff --git 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>: