X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fdebugging.xml;h=6fc1413bb1af5334931128f2a2f7037f096f16e0;hb=6cec61d14a324285dbb8ce73d4c7215f1f8d6766;hp=4db79afc50a4282d1c94d36b43afc16813b6e469;hpb=f2aaae9757e7532485c97f6c9a9ed5437542d1dd;p=ghc-hetmet.git

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 4db79af..6fc1413 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -437,6 +437,17 @@
 
       <varlistentry>
 	<term>
+          <option>-ddump-core-stats</option>
+          <indexterm><primary><option>-ddump-core-stats</option></primary></indexterm>
+        </term>
+	<listitem>
+	  <para>Print a one-line summary of the size of the Core program
+                     at the end of the optimisation pipeline.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
+	<term>
           <option>-dfaststring-stats</option>
           <indexterm><primary><option>-dfaststring-stats</option></primary></indexterm>
         </term>