diff options
| author | bjorn <bjorn@bringert.net> | 2008-09-25 11:49:00 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-09-25 11:49:00 +0000 |
| commit | 13191ac15504efc3a45777fb28d594106582f827 (patch) | |
| tree | 143297f2d3d5701fb2bfaefc155c08101a76a804 /src/GF/Infra | |
| parent | 7a5e2a15bd725306e8d08a94026aef18436195bb (diff) | |
Added --output-format=regular.
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 8d296b281..b6c25a8fe 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -87,6 +87,7 @@ data OutputFormat = FmtPGF | FmtProlog | FmtProlog_Abs | FmtBNF + | FmtRegular | FmtFCFG | FmtSRGS_XML | FmtSRGS_XML_NonRec @@ -456,6 +457,7 @@ outputFormats = ("prolog", FmtProlog), ("prolog_abs", FmtProlog_Abs), ("bnf", FmtBNF), + ("regular", FmtRegular), ("fcfg", FmtFCFG), ("srgs_xml", FmtSRGS_XML), ("srgs_xml_nonrec", FmtSRGS_XML_NonRec), |