From d6974a406523335a6244e81902db46d21a22fde1 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 6 Dec 2013 13:45:12 +0000 Subject: [PATCH] GF shell: fix help text for generate_trees Trees are not generated with increasing depth. --- src/compiler/GF/Command/Commands.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 44d514a2f..cf08499be 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -415,8 +415,8 @@ allCommands = Map.fromList [ longname = "generate_trees", synopsis = "generates a list of trees, by default exhaustive", explanation = unlines [ - "Generates all trees of a given category, with increasing depth.", - "By default, the depth is 4, but this can be changed by a flag.", + "Generates all trees of a given category. By default, ", + "the depth is limited to 4, but this can be changed by a flag.", "If a Tree argument is given, the command completes the Tree with values", "to all metavariables in the tree." ],