diff options
| -rw-r--r-- | docs/users_guide/debugging.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 513b26fc28..433635494c 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> |