X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fdebugging.xml;h=0132b42c0b9b766a13afdd07ed4c41ea83b0bb54;hb=d0fb9a95f40453321b82e23d9b322e79340b48c9;hp=433635494c4a4fd334011ff9918f871d615d5bb1;hpb=2261c91682719ed47da25790442c76b2b6814c56;p=ghc-hetmet.git

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 4336354..0132b42 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -178,8 +178,8 @@
 
 	    <varlistentry>
 	      <term>
-	        <option>-ddump-workwrap</option>:
-                <indexterm><primary><option>-ddump-workwrap</option></primary></indexterm>
+	        <option>-ddump-worker-wrapper</option>:
+                <indexterm><primary><option>-ddump-worker-wrapper</option></primary></indexterm>
 	      </term>
 	      <listitem>
 		<para>worker/wrapper split output</para>
@@ -651,7 +651,6 @@ Main.skip2{-r1L6-} =
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; End: ***
  -->