diff --git a/odoc-driver.opam b/odoc-driver.opam index c69509d0c1..cfbbb7a5dc 100644 --- a/odoc-driver.opam +++ b/odoc-driver.opam @@ -47,7 +47,7 @@ depends: [ ] pin-depends: [ - ["sherlodoc.dev" "git+https://github.com/emiletrotignon/sherlodoc.git#odoc3_compat"] + ["sherlodoc.dev" "git+https://github.com/emiletrotignon/sherlodoc.git#076cc2b"] ] build: [