From e0c0a6d341519c0fb98df00d8f09c98698a5ab7d Mon Sep 17 00:00:00 2001
From: Jeff LANCE <jeff.lance@mala.fr>
Date: Sun, 7 Oct 2018 20:38:33 +0200
Subject: [PATCH] Update.

---
 config.asy | 2 +-
 lib_jl.asy | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/config.asy b/config.asy
index 63c0e28..c056871 100644
--- a/config.asy
+++ b/config.asy
@@ -1,3 +1,3 @@
 import settings;
-settings.outformat = "svg";
+settings.outformat = "pdf";
 //settings.tex = "pdflatex";
diff --git a/lib_jl.asy b/lib_jl.asy
index 5371ab8..57f7972 100644
--- a/lib_jl.asy
+++ b/lib_jl.asy
@@ -1,4 +1,5 @@
 import graph_pi;
+import graph3;
 import gm_probabilitytree;
 import gm_tableaux;