diff --git a/devel_tools/docker/frama-c.dev/Dockerfile b/devel_tools/docker/frama-c.dev/Dockerfile
index bdd95a3d5de09857476f68b4fd01def1cdc6b9a2..0907e4d0438ab1078fee39227f1ed2fb0bba0aa2 100644
--- a/devel_tools/docker/frama-c.dev/Dockerfile
+++ b/devel_tools/docker/frama-c.dev/Dockerfile
@@ -28,7 +28,7 @@ RUN apt-get update && opam update -y && opam depext --install -y --verbose \
     ocamlfind.1.8.1 \
     ocamlgraph.1.8.8 \
     ppx_deriving_yojson.3.5.2 \
-    why3.1.3.3 \
+    why3.1.4.0 \
     yojson.1.7.0 \
     zarith.1.9.1 \
     zmq.5.1.3 \
@@ -41,7 +41,7 @@ RUN apt-get update && opam update -y && opam depext --install -y --verbose \
 RUN wget https://github.com/CVC4/CVC4/releases/download/1.7/cvc4-1.7-x86_64-linux-opt -O /usr/local/bin/cvc4
 RUN chmod a+x /usr/local/bin/cvc4
 
-RUN why3 config --detect
+RUN why3 config detect
 
 # with_source: keep Frama-C sources
 ARG with_source=no