diff options
Diffstat (limited to 'src/GF/Shell/PShell.hs')
| -rw-r--r-- | src/GF/Shell/PShell.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index 7a7f1e702..d58b18c16 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -3,6 +3,7 @@ module PShell where import Operations import UseIO import ShellState +import ShellCommands import Shell import Option import PGrammar (pzIdent, pTrm) --- (string2formsAndTerm) |