From cc18830eae705bb969ac03074b44faa4f132fb37 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 8 Sep 2020 22:34:02 -0400
Subject: [PATCH] chore: fix opam file

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

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 449ff1f1..87bd870c 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -12,7 +12,7 @@ build: [
 ]
 depends: [
   "dune" {build}
-  "containers" { >= "2.8" }
+  "containers" { >= "3.0" & < "4.0" }
   "iter"
   "zarith"
   "smtlib-utils" { >= "0.1" & < "0.2" }