From 327d0a6a4a634b74f46c9395040fdc2945a629cf Mon Sep 17 00:00:00 2001 From: bjorn Date: Tue, 17 Jun 2008 12:30:19 +0000 Subject: [PATCH] Remove "srgs" output format name, use "srgs_xml" instead. --- src-3.0/GF/Infra/Option.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src-3.0/GF/Infra/Option.hs b/src-3.0/GF/Infra/Option.hs index cd695485b..44d4adfa5 100644 --- a/src-3.0/GF/Infra/Option.hs +++ b/src-3.0/GF/Infra/Option.hs @@ -442,7 +442,6 @@ outputFormats = ("haskell", FmtHaskell), ("haskell_gadt", FmtHaskell_GADT), ("bnf", FmtBNF), - ("srgs", FmtSRGS_XML), ("srgs_xml", FmtSRGS_XML), ("srgs_abnf", FmtSRGS_ABNF), ("jsgf", FmtJSGF),