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}