From c498672d5dc41831b6d959fb51bd7fac36331006 Mon Sep 17 00:00:00 2001
From: Viktor Palmkvist <vipa@kth.se>
Date: Tue, 2 Jun 2026 13:24:13 +0200
Subject: [PATCH] Remove import of trees, given its implicit importing

---
 examples/crbd.tppl                | 2 --
 examples/treeppl_in_jupyter.ipynb | 2 --
 tests/test_all.py                 | 2 --
 3 files changed, 6 deletions(-)

diff --git a/examples/crbd.tppl b/examples/crbd.tppl
index 663a9b1..0fae7a8 100644
--- a/examples/crbd.tppl
+++ b/examples/crbd.tppl
@@ -1,5 +1,3 @@
-import "treeppl::lib/trees.tppl"
-
 type alias Tree = ClockTree
 
 function simulateExtinctSubtree(time: Real, lambda: Real, mu: Real) {
diff --git a/examples/treeppl_in_jupyter.ipynb b/examples/treeppl_in_jupyter.ipynb
index 13d26bc..2f2c08c 100644
--- a/examples/treeppl_in_jupyter.ipynb
+++ b/examples/treeppl_in_jupyter.ipynb
@@ -227,8 +227,6 @@
    "outputs": [],
    "source": [
     "%%treeppl crbd -m smc-bpf --particles 10000 --resample align --subsample --subsample-size 10\n",
-    "import \"treeppl::lib/trees.tppl\"\n",
-    "\n",
     "type alias Tree = ClockTree\n",
     "\n",
     "function simulateExtinctSubtree(time: Real, lambda: Real, mu: Real) {\n",
diff --git a/tests/test_all.py b/tests/test_all.py
index 4e339d5..443cb57 100644
--- a/tests/test_all.py
+++ b/tests/test_all.py
@@ -46,8 +46,6 @@ def test_tree_input():
     )
     with treeppl.Model(
         source="""\
-import "treeppl::trees.tppl"
-
 type alias Tree = ClockTree
 
 function count_leaves(tree: Tree) => Int {