diff options
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index 4c2a067a4..a14461928 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -210,9 +210,7 @@ execC co@(comm, opts0) sa@((st,(h,_)),a) = case comm of | oElem showAll opts -> returnArg (AString txtHelpFile) sa | otherwise -> returnArg (AString txtHelpFileSummary) sa - CPrintGrammar - | oElem showOld opts -> returnArg (AString $ printGrammarOld (canModules st)) sa - | otherwise -> returnArg (AString (optPrintGrammar opts gro)) sa + CPrintGrammar -> returnArg (AString (optPrintGrammar opts gro)) sa CPrintGlobalOptions -> justOutput (putStrLn $ prShellStateInfo st) sa CPrintInformation c -> justOutput (useIOE () $ showInformation opts st c) sa CPrintLanguages -> justOutput |