diff options
Diffstat (limited to 'src/GF/Shell/CommandL.hs')
| -rw-r--r-- | src/GF/Shell/CommandL.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Shell/CommandL.hs b/src/GF/Shell/CommandL.hs index c3d159574..3fd64dd00 100644 --- a/src/GF/Shell/CommandL.hs +++ b/src/GF/Shell/CommandL.hs @@ -66,8 +66,8 @@ pCommand = pCommandWords . words where "+" : _ -> CLast "mp" : p -> CMovePosition (readIntList (unwords p)) "r" : f : _ -> CRefineWithAtom f - "w" : f:i : _ -> CWrapWithFun (strings2Fun f, readIntArg i) - "ch": f : _ -> CChangeHead (strings2Fun f) + "w" : f:i : _ -> CWrapWithFun (f, readIntArg i) + "ch": f : _ -> CChangeHead f "ph": _ -> CPeelHead "x" : ws -> CAlphaConvert $ unwords ws "s" : i : _ -> CSelectCand (readIntArg i) |
