From 065ce67b1b6ba6b8f3646b73c7cadd50a001a9af Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 2 May 2007 12:55:23 +0000 Subject: [PATCH] move -fno-print-bind-result into the GHCi section --- docs/users_guide/flags.xml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 5426ad8..2f14127 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -493,6 +493,12 @@ dynamic - + + + Turn off printing of binding results in GHCi + dynamic + - + @@ -1951,12 +1957,6 @@ dynamic - - - - Turn off printing of binding results in GHCi - dynamic - - - -- 1.7.10.4