diff --git a/Dockerfile b/Dockerfile
index 5f1be294..f38b3200 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-# syntax=docker/dockerfile:1.7
+# syntax=docker/dockerfile:1.25
 
 # For maximum integrity, set this to an immutable digest in CI/CD.
 ARG SWIPL_IMAGE=docker.io/library/swipl:9.2.4