diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index becbc5e9..373c4ce9 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -17,6 +17,7 @@ depends: [
   "zarith"
   "smtlib-utils" { >= "0.1" & < "0.3" }
   "sidekick" { = version }
+  "sidekick-arith" { = version }
   "menhir"
   "mtime"
   "ocaml" { >= "4.03" }