diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-04-19 11:15:18 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-04-19 11:15:18 +0000 |
| commit | 09c1bd662d28c3cd2b0a53f9e0b65122eb69bb24 (patch) | |
| tree | acfbfe563d1275a43d55ce06f2d8a6d4503e0497 /src | |
| parent | 4e2044ab99a2ce6dcff86989f1e3e565ba5ac9e0 (diff) | |
the option -old for the vp command is now redundant
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 7311443f6..99f5bb05e 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -1010,8 +1010,7 @@ allCommands = Map.fromList [ ("showfun","show function names in the tree nodes"), ("nofun","don't show function names (default)"), ("showleaves","show the leaves of the tree (default)"), - ("noleaves","don't show the leaves of the tree (i.e., only the abstract tree)"), - ("old","use the old tree visualization algorithm") + ("noleaves","don't show the leaves of the tree (i.e., only the abstract tree)") ], flags = [ ("format","format of the visualization file (default \"png\")"), |