From cfe8ebc1fbbf60d7d90aaa4776b029b5eb84ae98 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 3 Oct 2003 06:31:34 +0000
Subject: Restored read term in editor.

---
 src/GF/Shell/Commands.hs | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'src/GF/Shell')

diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index ecdc65ab4..128029668 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -222,14 +222,11 @@ execECommand env c = case c of
 
   CAlphaConvert s    -> action2commandNext $ \x ->
                           string2varPair s >>= \xy -> alphaConvert cgr xy x
-{- ----
+
   CRefineWithTree s  -> action2commandNext $ \x -> 
-                          (string2treeErr cgr s x >>= 
+                          (string2treeInState gr s x >>= 
                             \t -> refineWithTree der cgr t x)
 
-  CRefineParse str   -> \s -> refineByTrees der cgr 
-                          (parseAny agrs (cat2CFCat (actCat (stateSState s))) str) s
--}
   CRefineParse str   -> \s -> 
                      let cat = cat2CFCat (qualifTop sgr (actCat (stateSState s)))
                          ts = parseAny agrs cat str
-- 
cgit v1.2.3