diff --git a/jenkins/ext/pddl-tools b/jenkins/ext/pddl-tools
index 8670753e..9ae12151 160000
--- a/jenkins/ext/pddl-tools
+++ b/jenkins/ext/pddl-tools
@@ -1 +1 @@
-Subproject commit 8670753ecbb2182ee689a6231ee5b2444cfdec2f
+Subproject commit 9ae12151814297dd9249f4589b36a2d4a94d9c72