From 1340cfb3df3c1a3cc050b0f36f9e27ed1ff726ce Mon Sep 17 00:00:00 2001
From: Viktor Palmkvist <vipa@kth.se>
Date: Fri, 16 Jan 2026 10:56:30 +0100
Subject: [PATCH] Always use the self-contained tpplc, never one from PATH

---
 treeppl/base.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/treeppl/base.py b/treeppl/base.py
index 14ea808..8caff98 100644
--- a/treeppl/base.py
+++ b/treeppl/base.py
@@ -13,10 +13,6 @@
 from .serialization import from_json, to_json
 
 def get_tpplc_binary():
-    tpplc = shutil.which("tpplc")
-    if tpplc:
-        return tpplc
-
     # NOTE(vipa, 2025-06-04): The selfcontained compiler must be
     # deployed to a directory somewhere. There are three important
     # limitatations: