diff options
| author | peter.ljunglof <peter.ljunglof@gu.se> | 2012-06-27 23:29:05 +0000 |
|---|---|---|
| committer | peter.ljunglof <peter.ljunglof@gu.se> | 2012-06-27 23:29:05 +0000 |
| commit | 7fb35be6e36f2812c709d45e0e13f055a4f3915f (patch) | |
| tree | 46bff8d09ba9e8fc3c275bcd3785c9769da5d1b5 /src/compiler/GF/Infra/Option.hs | |
| parent | 97df099d0709161a324060557e80040904e90743 (diff) | |
major changes to the prolog export
Diffstat (limited to 'src/compiler/GF/Infra/Option.hs')
| -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"), |