diff --git a/opam b/opam
index 765ae370970933c6c7e81ee64319623266223495..4543d82ace8890fde246d0f1d3dee3a67ea59f80 100644
--- a/opam
+++ b/opam
@@ -120,7 +120,6 @@ depends: [
   "conf-time" { with-test }
   "menhir" { >= "20181006" & build }
   "ocaml" { >= "4.11.1" }
-  "ocamlfind" # needed beyond build stage, used by -load-module
   "ocamlgraph" { >= "1.8.8" }
   "why3" { >= "1.6.0" }
   "yaml" { >= "3.0.0" }