From 2d2bbf6a23c8a5d6eada42bcb364990bd77194ad Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 24 Feb 2021 15:09:50 -0500
Subject: [PATCH] try to fix ci

---
 sidekick-bin.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 }