From 659f69f9897e59f15fd9aa1e8ea42e9b621f55a3 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 20 Apr 2023 10:39:45 -0400
Subject: [PATCH] opam

---
 dune-project       | 2 +-
 sidekick-base.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index 8637eef0..244f1a5c 100644
--- a/dune-project
+++ b/dune-project
@@ -53,7 +53,7 @@
   (smtlib-utils
    (and
     (>= "0.1")
-    (< "0.4")))
+    (< "0.5")))
   (sidekick
    (= :version))
   (qcheck
diff --git a/sidekick-base.opam b/sidekick-base.opam
index 7f116842..f7611324 100644
--- a/sidekick-base.opam
+++ b/sidekick-base.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/c-cube/sidekick/issues/"
 depends: [
   "dune" {>= "2.0"}
   "zarith"
-  "smtlib-utils" {>= "0.1" & < "0.4"}
+  "smtlib-utils" {>= "0.1" & < "0.5"}
   "sidekick" {= version}
   "qcheck" {with-test & >= "0.16"}
   "mdx" {with-test}