X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fdebugging.xml;h=4ab43791274bfc982be2b999846a540f4d3735d8;hb=6e3538235f0b82c074874ddfaa4526e06901256d;hp=8a4129bf61c966e2142818ad7c798b2202a1298e;hpb=1c9f77c48fa0cb4f72e71634653b6325c33547c0;p=ghc-hetmet.git

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 8a4129b..4ab4379 100644
--- 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>