diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-01-21 15:10:49 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-01-21 15:10:49 +0000 |
| commit | 59a80fea3e8e4e9b6d6ed09885521c6c6a6c93f7 (patch) | |
| tree | 4b55f14a5009237c1ec9a821e9a3d2d4b4c87866 /src/GF | |
| parent | 70e3891cd5f9ac38caf36c5f10b314952ef856fd (diff) | |
Removed the srg value for pg -printer. Users should use pg -printer=srgs_abnf instead.
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index 920389250..32b7cffa0 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -247,7 +247,6 @@ customGrammarPrinter = ,(strCI "gf", \_ -> err id prGrammar . canon2sourceGrammar . stateGrammarST) ,(strCI "cf", \_ -> prCF . stateCF) ,(strCI "old", \_ -> printGrammarOld . stateGrammarST) - ,(strCI "srg", srgsAbnfPrinter Nothing False) ,(strCI "gsl", gslPrinter) ,(strCI "jsgf", jsgfPrinter Nothing) ,(strCI "jsgf_sisr_old", jsgfPrinter (Just SISR.SISROld)) |