diff --git a/sidekick-bin.opam b/sidekick-bin.opam index 373c4ce9..906ef48a 100644 --- a/sidekick-bin.opam +++ b/sidekick-bin.opam @@ -13,7 +13,7 @@ build: [ depends: [ "dune" { >= "1.1" } "containers" { >= "3.0" & < "4.0" } - "iter" + "iter" { >= "1.0" & < "2.0" } "zarith" "smtlib-utils" { >= "0.1" & < "0.3" } "sidekick" { = version }