From a25ee154e760a424ef4aef46a6e3d6fdf1079cf1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 15 Sep 2004 14:36:27 +0000
Subject: introducing multiple inheritance

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

(limited to 'src/GF/Shell')

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