From b9b1b685d1315376c877af93d07f635676648fd8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 23 Dec 2020 16:00:16 -0500
Subject: [PATCH] chore: update msat

---
 sidekick-bin.opam | 1 -
 sidekick.opam     | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 1f8b71b7..becbc5e9 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -19,7 +19,6 @@ depends: [
   "sidekick" { = version }
   "menhir"
   "mtime"
-  "msat" { >= "0.8" < "0.9" }
   "ocaml" { >= "4.03" }
 ]
 tags: [ "sat" "smt" ]
diff --git a/sidekick.opam b/sidekick.opam
index bd4cf5ed..59f48965 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -14,7 +14,7 @@ depends: [
   "dune" { >= "1.1" }
   "containers" { >= "3.0" & < "4.0" }
   "iter" { >= "1.0" & < "2.0" }
-  "msat" { >= "0.8.3" < "0.9" }
+  "msat" { >= "0.9" < "0.10" }
   "ocaml" { >= "4.03" }
   "alcotest" {with-test}
 ]