From d62101efb9e263173b69fb89c07f03dcf805e81f Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Fri, 7 Sep 2007 13:58:57 +0000 Subject: [PATCH] Remove obsolete -fdebugging flag A left over from the 1st GHCi debugger prototype --- docs/users_guide/flags.xml | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index e5c3289..33c4e32 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -503,18 +503,6 @@ - - - Generate bytecode enabled for debugging - dynamic - - - - - - Do not include debugging information in bytecodes - dynamic - - - - Turn off printing of binding results in GHCi dynamic -- 1.7.10.4