From c295d22921ad225ea255289bdb5d6c5b92791bc8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 24 Apr 2026 01:03:00 -0400
Subject: [PATCH] bump min version for smtlib-utils

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

diff --git a/dune-project b/dune-project
index a21f7d7c..023c0f58 100644
--- a/dune-project
+++ b/dune-project
@@ -56,8 +56,8 @@
   zarith
   (smtlib-utils
    (and
-    (>= "0.1")
-    (< "0.5")))
+    (>= "0.5")
+    (< "0.6")))
   (sidekick
    (= :version))
   (qcheck
diff --git a/sidekick-base.opam b/sidekick-base.opam
index f7611324..dcd97fce 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.5"}
+  "smtlib-utils" {>= "0.5" & < "0.6"}
   "sidekick" {= version}
   "qcheck" {with-test & >= "0.16"}
   "mdx" {with-test}