diff --git a/odoc-driver.opam b/odoc-driver.opam
index 39b73c3e94..0d0395aeb0 100644
--- a/odoc-driver.opam
+++ b/odoc-driver.opam
@@ -62,5 +62,5 @@ build: [
   ]
 ]
 pin-depends: [
-  [ "sherlodoc.dev" "git+https://github.com/EmileTrotignon/sherlodoc#odoc3_compat"]
+  [ "sherlodoc.dev" "git+https://github.com/EmileTrotignon/sherlodoc#0357233acf56936db6760cba573f7e77750b5428"]
 ]