diff options
Diffstat (limited to 'src/GF/Shell/Commands.hs')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 7 |
1 files changed, 2 insertions, 5 deletions
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 |