From 2431c4caa088cd10e4a7f2d751c2d423b8bcc1d4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 28 Jul 2020 16:01:22 -0400
Subject: [PATCH] chore: tighten bound on msat

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

diff --git a/sidekick.opam b/sidekick.opam
index a14b0001..1910b373 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -14,8 +14,8 @@ depends: [
   "dune" {build}
   "containers"
   "iter"
-  "msat" { >= "0.8" < "0.9" }
-  "ocaml" { >= "4.03" } 
+  "msat" { >= "0.8.2" < "0.9" }
+  "ocaml" { >= "4.03" }
   "alcotest" {with-test}
 ]
 tags: [ "sat" "smt" ]