From 1b7d084a9c040367597e55abf2fe539275dded03 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 17 Nov 2020 14:39:39 -0500
Subject: [PATCH] chore: allow smtlib-utils 0.2

---
 sidekick-bin.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 83de23dd..865f7c3b 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -15,7 +15,7 @@ depends: [
   "containers" { >= "3.0" & < "4.0" }
   "iter"
   "zarith"
-  "smtlib-utils" { >= "0.1" & < "0.2" }
+  "smtlib-utils" { >= "0.1" & < "0.3" }
   "sidekick" { = version }
   "menhir"
   "msat" { >= "0.8" < "0.9" }