From 6dcf9f1cd463262bd3015b93afb615c487f0b349 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 27 May 2004 14:43:13 +0000
Subject: command option check

---
 src/GF/Shell/PShell.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/GF/Shell/PShell.hs')

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)
-- 
cgit v1.2.3