diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-04-19 11:13:07 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-04-19 11:13:07 +0000 |
| commit | 4e2044ab99a2ce6dcff86989f1e3e565ba5ac9e0 (patch) | |
| tree | 3aa643022a4b9fc8514c7683f1d51d49e2ca5f5d /src/compiler/GF/Command | |
| parent | a591160b947dac1e524dc0b5a98907ba6aa1ebbe (diff) | |
remove the dead code left behind by Peter Ljunglöf in VisualizeTree
Diffstat (limited to 'src/compiler/GF/Command')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 802b36a81..7311443f6 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -988,11 +988,9 @@ allCommands = Map.fromList [ nodeEdgeStyle = valStrOpts "nodeedgestyle" "solid" opts, leafEdgeStyle = valStrOpts "leafedgestyle" "dashed" opts } - let grph = if null es then [] - else if isOpt "old" opts then - graphvizParseTreeOld pgf lang (head es) - else - graphvizParseTree pgf lang gvOptions (head es) + let grph = if null es + then [] + else graphvizParseTree pgf lang gvOptions (head es) if isFlag "view" opts || isFlag "format" opts then do let file s = "_grph." ++ s let view = optViewGraph opts |