diff options
| author | bjorn <bjorn@bringert.net> | 2008-09-23 12:44:17 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-09-23 12:44:17 +0000 |
| commit | 75df5cf443e590098bf13c05d12fc937f1f2bc68 (patch) | |
| tree | 65ca2bf00798ebe455d204083912bb4ec7b04bb1 /src | |
| parent | e5779fc5948937ab2e92b4733fbc194912ed9715 (diff) | |
Added srgs_abnf_nonrec grammar printer to GF.Infra.Options.
Diffstat (limited to 'src')
| -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 dfb2a2aa0..39e9e4209 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -90,6 +90,7 @@ data OutputFormat = FmtPGF | FmtSRGS_XML | FmtSRGS_XML_NonRec | FmtSRGS_ABNF + | FmtSRGS_ABNF_NonRec | FmtJSGF | FmtGSL | FmtVoiceXML @@ -457,6 +458,7 @@ outputFormats = ("srgs_xml", FmtSRGS_XML), ("srgs_xml_nonrec", FmtSRGS_XML_NonRec), ("srgs_abnf", FmtSRGS_ABNF), + ("srgs_abnf_nonrec", FmtSRGS_ABNF_NonRec), ("jsgf", FmtJSGF), ("gsl", FmtGSL), ("vxml", FmtVoiceXML), |