From 242f554974d480369147378126c6b01651a8d43e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 10 Oct 2020 14:34:13 -0400
Subject: [PATCH] chore: remove deps on funarith

---
 sidekick-bin.opam | 4 ----
 sidekick.opam     | 3 ---
 2 files changed, 7 deletions(-)

diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 7b22da9b..83de23dd 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -20,10 +20,6 @@ depends: [
   "menhir"
   "msat" { >= "0.8" < "0.9" }
   "ocaml" { >= "4.03" }
-  "funarith"
-]
-pin-depends: [
-  ["funarith.dev" "git+https://github.com/c-cube/funarith.git"]
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
diff --git a/sidekick.opam b/sidekick.opam
index 9b5050b6..bd4cf5ed 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -18,9 +18,6 @@ depends: [
   "ocaml" { >= "4.03" }
   "alcotest" {with-test}
 ]
-depopts: [
-  "funarith"
-]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
 dev-repo: "git+https://github.com/c-cube/sidekick.git"