diff --git a/creusot-deps.opam b/creusot-deps.opam
index 5f25651433..baee97f938 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-945f"}
-  "why3-ide" {= "git-945f" & !?in-creusot-ci}
+  "why3" {= "git-39f7"}
+  "why3-ide" {= "git-39f7" & !?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-945f" "git+https://gitlab.inria.fr/why3/why3.git#945faa8c552" ]
-  [ "why3-ide.git-945f" "git+https://gitlab.inria.fr/why3/why3.git#945faa8c552" ]
+  [ "why3.git-39f7" "git+https://gitlab.inria.fr/why3/why3.git#39f7bcf37" ]
+  [ "why3-ide.git-39f7" "git+https://gitlab.inria.fr/why3/why3.git#39f7bcf37" ]
 ]