X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fdebugging.xml;fp=docs%2Fusers_guide%2Fdebugging.xml;h=638ab7a4b50d732352fa82a0db4caefe7100a8d1;hb=368f9fc139a24b771b5b3282753544fb087f6b55;hp=0f1fd1822b141f8f8eb9035eb48a57eeff7b45c4;hpb=c412fa2e1a11ae4666bea97cd8d790ecf7fcb253;p=ghc-hetmet.git

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 0f1fd18..638ab7a 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -280,14 +280,25 @@
       
       <varlistentry>
 	<term>
+          <option>-ddump-simpl-phases</option>:
+          <indexterm><primary><option>-ddump-simpl-phases</option></primary></indexterm>
+        </term>
+	<listitem>
+	  <para>Show the output of each run of the simplifier.  Used when even
+        <option>-dverbose-simpl</option> doesn't cut it.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
+	<term>
           <option>-ddump-simpl-iterations</option>:
           <indexterm><primary><option>-ddump-simpl-iterations</option></primary></indexterm>
         </term>
 	<listitem>
 	  <para>Show the output of each <emphasis>iteration</emphasis>
         of the simplifier (each run of the simplifier has a maximum
-        number of iterations, normally 4).  Used when even
-        <option>-dverbose-simpl</option> doesn't cut it.</para>
+        number of iterations, normally 4).  This outputs even more information
+        than <option>-ddump-simpl-phases</option>.</para>
 	</listitem>
       </varlistentry>