diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl index 478a896a..4fcf9b77 100755 --- a/contrib/dump-asy.pl +++ b/contrib/dump-asy.pl @@ -39,7 +39,7 @@ sub dump_node { $na =~ s/~/\\textasciitilde{}/g; my $type = 'leaf'; if (!defined($n->{window})) { - $type = $n->{orientation} . '-split'; + $type = $n->{layout}; } my $name = qq|``$na'' ($type)|;