diff options
| author | aarne <unknown> | 2004-09-14 17:05:46 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-14 17:05:46 +0000 |
| commit | fe045070cf4333cee0e634db5c877493d1b16030 (patch) | |
| tree | 285273eb564dbd3ad510a183a1c701ec02a1b57a /src/GF/Shell | |
| parent | 35f884ddfd984edb7d580cd54c6f2f1ad9358a34 (diff) | |
gfcm header
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/ShellCommands.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index bf0d114e1..b4c28ca2e 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -7,6 +7,7 @@ import PrGrammar import Option import Operations +import Modules import Char (isDigit) @@ -177,7 +178,6 @@ optionsOfCommand co = case co of CPrintGlobalOptions CPrintLanguages CPrintInformation I.Ident - CPrintMultiGrammar CPrintGramlet CPrintCanonXML CPrintCanonXMLStruct |