From c2e977c67a99428694d0112e211b32e645b54bf8 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 24 Oct 2013 14:32:11 +0000
Subject: [PATCH] Commands.hs: fix a copy-paste error in the documentation of
 put_tree

---
 src/compiler/GF/Command/Commands.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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",