From b2cb675317563c76c545aafe5a3ee494beea0ca2 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
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),