From 89c9e005007c4b7a78cb3d02bdfc892c45cf978f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 10 Oct 2022 16:06:02 -0400
Subject: [PATCH] chore: fix opam file

---
 dune-project       | 2 --
 sidekick-base.opam | 1 -
 2 files changed, 3 deletions(-)

diff --git a/dune-project b/dune-project
index d221a42b..8637eef0 100644
--- a/dune-project
+++ b/dune-project
@@ -56,8 +56,6 @@
     (< "0.4")))
   (sidekick
    (= :version))
-  (sidekick-base
-   (= :version))
   (qcheck
    (and
     :with-test
diff --git a/sidekick-base.opam b/sidekick-base.opam
index 49d78b74..7f116842 100644
--- a/sidekick-base.opam
+++ b/sidekick-base.opam
@@ -12,7 +12,6 @@ depends: [
   "zarith"
   "smtlib-utils" {>= "0.1" & < "0.4"}
   "sidekick" {= version}
-  "sidekick-base" {= version}
   "qcheck" {with-test & >= "0.16"}
   "mdx" {with-test}
   "odoc" {with-doc}