From b23f19b7836bd122e9f8b229350b744847defeb2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 24 Feb 2021 14:39:03 -0500
Subject: [PATCH] fix opam

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

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