diff --git a/creusot-deps.opam b/creusot-deps.opam
index 5a370db8f5..ad402195c3 100644
--- a/creusot-deps.opam
+++ b/creusot-deps.opam
@@ -4,8 +4,8 @@ opam-version: "2.0"
 maintainer: "Armaël Guéneau <armael.gueneau@inria.fr>"
 authors: "the creusot authors"
 depends: [
-  "why3" {= "git-6d61"}
-  "why3-ide" {= "git-6d61" & !?in-creusot-ci}
+  "why3" {= "git-40a7"}
+  "why3-ide" {= "git-40a7" & !?in-creusot-ci}
 # optional dependencies of why3
   "ocamlgraph"
   "camlzip"
@@ -16,6 +16,6 @@ depends: [
 # When updating the hash and git-XXX below, don't forget to update them in the
 # depends: field above!
 pin-depends: [
-  [ "why3.git-6d61" "git+https://gitlab.inria.fr/why3/why3.git#6d615e178" ]
-  [ "why3-ide.git-6d61" "git+https://gitlab.inria.fr/why3/why3.git#6d615e178" ]
+  [ "why3.git-40a7" "git+https://gitlab.inria.fr/why3/why3.git#40a7b4fc" ]
+  [ "why3-ide.git-40a7" "git+https://gitlab.inria.fr/why3/why3.git#40a7b4fc" ]
 ]