From da3cb275be5a18b8fb0caf018dd3c2fe3264da90 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 21 Feb 2020 13:53:41 -0600
Subject: [PATCH] chore: version bump on containers

---
 sidekick-bin.opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index b34c61e4..449ff1f1 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -12,14 +12,14 @@ build: [
 ]
 depends: [
   "dune" {build}
-  "containers"
+  "containers" { >= "2.8" }
   "iter"
   "zarith"
   "smtlib-utils" { >= "0.1" & < "0.2" }
   "sidekick" { = version }
   "menhir"
   "msat" { >= "0.8" < "0.9" }
-  "ocaml" { >= "4.03" } 
+  "ocaml" { >= "4.03" }
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"