From c7fae418abb2b6bbd228f397b5d842eea7ac239f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 8 Sep 2020 23:21:35 -0400
Subject: [PATCH] chore: pin-depends for msat

---
 sidekick.opam | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sidekick.opam b/sidekick.opam
index 4e549895..a3e4d2f3 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -18,6 +18,9 @@ depends: [
   "ocaml" { >= "4.03" }
   "alcotest" {with-test}
 ]
+pin-depends: [
+  ["msat.0.8.3" "git+https://github.com/Gbury/mSAT.git#8eb32fa9abdb30665db7030c4861fe2229c0f671"]
+]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
 dev-repo: "git+https://github.com/c-cube/sidekick.git"