diff options
| author | aarne <unknown> | 2004-04-30 11:28:35 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-30 11:28:35 +0000 |
| commit | c9d10ab5ed8b82ba0f74a25ca30103ccf0985e6d (patch) | |
| tree | 610a280c538abc742941b5d31b7d5912d0f7b0bd /src/GF/Shell | |
| parent | 36a68bce6ab94a4824698b9c3d7b4d0da4898eea (diff) | |
random gen to fill given term
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 |