mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Commands.hs: fix a copy-paste error in the documentation of put_tree
This commit is contained in:
@@ -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",
|
||||
|
||||
Reference in New Issue
Block a user