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

diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl
index 478a896a5c4b403c36962a6ad675c670f9351608..4fcf9b77b904f5a4daba5cdc15a50573b2a3aa70 100755 (executable)
--- 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)|;