From 23bf85e023d1af4587ad4fb57938a56bfe229381 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Fri, 19 Apr 2013 11:15:18 +0000 Subject: [PATCH] the option -old for the vp command is now redundant --- src/compiler/GF/Command/Commands.hs | 3 +-- 1 file changed, 1 insertion(+), 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\")"),