Permalink
Browse files

dump-asy.pl: use layout instead of orientation for names (#3004)

  • Loading branch information...
orestisf1993 authored and stapelberg committed Sep 30, 2017
1 parent ffa228e commit 464c158d9a189339b1a384fa41553e4bb8630d8a
Showing with 1 addition and 1 deletion.
  1. +1 −1 contrib/dump-asy.pl
View
@@ -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)|;

0 comments on commit 464c158

Please sign in to comment.