From 2261c91682719ed47da25790442c76b2b6814c56 Mon Sep 17 00:00:00 2001
From: Milan Straka <fox@ucw.cz>
Date: Wed, 31 Mar 2010 15:36:26 +0000
Subject: [PATCH] Rename forgotten -dverbose-simpl to -dverbose-core2core in
 the docs.

---
 docs/users_guide/debugging.xml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 513b26f..4336354 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -286,7 +286,7 @@
         </term>
 	<listitem>
 	  <para>Show the output of each run of the simplifier.  Used when even
-        <option>-dverbose-simpl</option> doesn't cut it.</para>
+        <option>-dverbose-core2core</option> doesn't cut it.</para>
 	</listitem>
       </varlistentry>
 
@@ -375,7 +375,7 @@
         of output!) So: when we're really desperate:</para>
 
 	  <screen>
-% ghc -noC -O -ddump-simpl -dverbose-simpl -dcore-lint Foo.hs
+% ghc -noC -O -ddump-simpl -dverbose-core2core -dcore-lint Foo.hs
 </screen>
 
 	</listitem>
-- 
1.7.10.4