From 5811720d3a84cbd2d853bb2f27a05ce8f8a37af0 Mon Sep 17 00:00:00 2001 From: krangelov Date: Tue, 21 Dec 2021 09:19:18 +0100 Subject: [PATCH] code cleanup --- src/compiler/GF/Infra/Option.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 85907b12c..8cf41f943 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -322,8 +322,6 @@ optDescr = Option [] ["boot-only"] (NoArg (set $ \o -> o {optLinkTargets = (False,True)})) "Boot the .ngf database and don't write a .pgf file", Option [] ["cpu"] (NoArg (cpu True)) "Show compilation CPU time statistics.", Option [] ["no-cpu"] (NoArg (cpu False)) "Don't show compilation CPU time statistics (default).", --- Option ['t'] ["trace"] (NoArg (trace True)) "Trace computations", --- Option [] ["no-trace"] (NoArg (trace False)) "Don't trace computations", Option [] ["gfo-dir"] (ReqArg gfoDir "DIR") "Directory to put .gfo files in (default = '.').", Option ['f'] ["output-format"] (ReqArg outFmt "FMT") (unlines ["Output format. FMT can be one of:",