From 17de8ea2c9bc3bd3485737a3514e9fa8bcaec4f7 Mon Sep 17 00:00:00 2001 From: simonpj Date: Tue, 20 Feb 2001 09:55:12 +0000 Subject: [PATCH] [project @ 2001-02-20 09:55:12 by simonpj] Wibble --- ghc/compiler/main/CmdLineOpts.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ghc/compiler/main/CmdLineOpts.lhs b/ghc/compiler/main/CmdLineOpts.lhs index 3e6d0bf..573850b 100644 --- a/ghc/compiler/main/CmdLineOpts.lhs +++ b/ghc/compiler/main/CmdLineOpts.lhs @@ -1,4 +1,4 @@ -% + % (c) The University of Glasgow, 1996-2000 % \section[CmdLineOpts]{Things to do with command-line options} @@ -237,7 +237,6 @@ data DynFlag | Opt_D_dump_stranal | Opt_D_dump_tc | Opt_D_dump_types - | Opt_D_dump_tc_trace | Opt_D_dump_rules | Opt_D_dump_usagesp | Opt_D_dump_cse @@ -246,6 +245,7 @@ data DynFlag | Opt_D_dump_rn_stats | Opt_D_dump_stix | Opt_D_dump_simpl_stats + | Opt_D_dump_tc_trace | Opt_D_dump_BCOs | Opt_D_source_stats | Opt_D_verbose_core2core -- 1.7.10.4