diff options
Diffstat (limited to 'src/compiler/GF/Command')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 99f5bb05e..8643f8a75 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -689,7 +689,7 @@ allCommands = Map.fromList [ }), ("pt", emptyCommandInfo { longname = "put_tree", - syntax = "ps OPT? TREE", + syntax = "pt OPT? TREE", synopsis = "return a tree, possibly processed with a function", explanation = unlines [ "Returns a tree obtained from its argument tree by applying", |