From 4c05bd0759d5bf4627fbc7572abb64d9d905dbfd Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 3 Jul 2021 21:38:30 -0400
Subject: [PATCH] fix opam file

---
 sidekick-bin.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index b5a39839..50202b34 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -17,7 +17,7 @@ depends: [
   "zarith"
   "smtlib-utils" { >= "0.1" & < "0.4" }
   "sidekick" { = version }
-  "sidekick-arith" { = version }
+  "sidekick-base" { = version }
   "menhir"
   "mtime"
   "ocaml" { >= "4.04" }