From 464c158d9a189339b1a384fa41553e4bb8630d8a Mon Sep 17 00:00:00 2001
From: Orestis <orestisf1993@gmail.com>
Date: Sat, 30 Sep 2017 20:17:20 +0300
Subject: [PATCH] dump-asy.pl: use layout instead of orientation for names
 (#3004)

---
 contrib/dump-asy.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)|;
 
-- 
2.39.2