diff --git a/jenkins/ext/pddl-tools b/jenkins/ext/pddl-tools
index e1c2718e..48be4f34 160000
--- a/jenkins/ext/pddl-tools
+++ b/jenkins/ext/pddl-tools
@@ -1 +1 @@
-Subproject commit e1c2718ecf208fe5c56cdabb169fa7045658ef7c
+Subproject commit 48be4f34502ee5d1aa426570114d78e727a5e393