diff options
| author | hallgren <hallgren@chalmers.se> | 2013-10-24 14:32:11 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-10-24 14:32:11 +0000 |
| commit | c2e977c67a99428694d0112e211b32e645b54bf8 (patch) | |
| tree | b60ecaf2a48c8f746730dc9056cc4eb270326336 /src/compiler | |
| parent | ecaa05a3db981eef5083b17cbf99bfb71e8c9ff9 (diff) | |
Commands.hs: fix a copy-paste error in the documentation of put_tree
Diffstat (limited to 'src/compiler')
| -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", |