From 7697b222d0b7053e4b955a6ab9ba2ad0d6c9c512 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 15 Sep 2004 11:37:45 +0000
Subject: terms from rf

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

(limited to 'src/GF/Shell')

diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index b4c28ca2e..236718918 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -30,6 +30,7 @@ data Command =
  | CGenerateRandom
  | CGenerateTrees
  | CPutTerm
+ | CReadTerm
  | CWrapTerm I.Ident
  | CMorphoAnalyse
  | CTestTokenizer
-- 
cgit v1.2.3