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" }