diff --git a/opam b/opam
index 47baec13174633b741d9e2601b404595a799534c..74395ea3e8071bcc99156d3da4601f23876cadbc 100644
--- a/opam
+++ b/opam
@@ -123,6 +123,7 @@ depends: [
   "ocamlfind" # needed beyond build stage, used by -load-module
   "ocamlgraph" { >= "1.8.8" }
   "why3" { >= "1.6.0" }
+  "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
   "zarith" { >= "1.5" }