From 7fb35be6e36f2812c709d45e0e13f055a4f3915f Mon Sep 17 00:00:00 2001 From: "peter.ljunglof" Date: Wed, 27 Jun 2012 23:29:05 +0000 Subject: major changes to the prolog export --- src/compiler/GF/Infra/Option.hs | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/compiler/GF/Infra') 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"), -- cgit v1.2.3