diff options
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/PShell.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index 9a1185032..b4cd335a7 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -71,8 +71,8 @@ pCommand ws = case ws of "p" : s -> aString CParse s "t" : i:o: s -> aString (CTranslate (language i) (language o)) s "gr" : [] -> aUnit (CGenerateRandom 1) - "gt" : t -> aTerm (CGenerateRandom 1) t ---- "gr" : n : [] -> aUnit (CGenerateRandom (readIntArg n)) -- deprecated 12/5/2001 + "gr" : t -> aTerm (CGenerateRandom 1) t + "gt" : n : [] -> aUnit (CGenerateTrees (readIntArg n)) "pt" : s -> aTerm CPutTerm s ----- "wt" : f : s -> aTerm (CWrapTerm (string2id f)) s "ma" : s -> aString CMorphoAnalyse s |