diff options
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/PShell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index 06554287b..9a1185032 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -71,7 +71,7 @@ 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) - "gr" : t -> aTerm (CGenerateRandom 1) t + "gt" : t -> aTerm (CGenerateRandom 1) t --- "gr" : n : [] -> aUnit (CGenerateRandom (readIntArg n)) -- deprecated 12/5/2001 "pt" : s -> aTerm CPutTerm s ----- "wt" : f : s -> aTerm (CWrapTerm (string2id f)) s |