summaryrefslogtreecommitdiff
path: root/src/GF/Shell/ShellCommands.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
-rw-r--r--src/GF/Shell/ShellCommands.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index be1137440..c28bcad48 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -73,6 +73,7 @@ data Command =
| CPrintInformation I.Ident
| CPrintMultiGrammar
| CPrintSourceGrammar
+ | CShowGrammarGraph
| CPrintGramlet
| CPrintCanonXML
| CPrintCanonXMLStruct