From 90eedeaf8d35a6df68319f68c91e6337ac4a1651 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 22 Mar 2019 18:43:21 -0500
Subject: [PATCH] chore: use msat 0.8 in opam

---
 sidekick.opam | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/sidekick.opam b/sidekick.opam
index 4ad77c0b..9659bf9d 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -16,11 +16,9 @@ depends: [
   "sequence"
   "zarith"
   "menhir"
+  "msat" { >= "0.8" < "0.9" }
   "ocaml" { >= "4.03" } 
 ]
-pin-depends: [
-  ["msat" "https://github.com/Gbury/mSAT.git#wip-refactor"]
-]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
 dev-repo: "git+https://github.com/c-cube/sidekick.git"