diff options
| -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), |