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;