diff options
Diffstat (limited to 'src/compiler/GF/Infra')
| -rw-r--r-- | src/compiler/GF/Infra/Option.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 75d0c33c6..79e1b9f73 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -88,7 +88,6 @@ data OutputFormat = FmtPGFPretty | FmtPython | FmtHaskell | FmtProlog - | FmtProlog_Abs | FmtLambdaProlog | FmtBNF | FmtEBNF @@ -436,7 +435,6 @@ outputFormatsExpl = (("python", FmtPython),"Python (whole grammar)"), (("haskell", FmtHaskell),"Haskell (abstract syntax)"), (("prolog", FmtProlog),"Prolog (whole grammar)"), - (("prolog_abs", FmtProlog_Abs),"Prolog (abstract syntax)"), (("lambda_prolog",FmtLambdaProlog),"LambdaProlog (abstract syntax)"), (("bnf", FmtBNF),"BNF (context-free grammar)"), (("ebnf", FmtEBNF),"Extended BNF"), |