From a6b303bb907b20626a0e4545004971436343c525 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 12 Oct 2021 22:52:52 -0400
Subject: [PATCH] remove dep on bare-encoding

---
 sidekick-base.opam | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sidekick-base.opam b/sidekick-base.opam
index cf87e388..f7d65808 100644
--- a/sidekick-base.opam
+++ b/sidekick-base.opam
@@ -17,7 +17,6 @@ depends: [
   "ocaml" { >= "4.04" }
   "sidekick" { = version }
   "zarith" { >= "1.8" } # constraint for infix ops
-  "bare_encoding" {dev}
   "alcotest" {with-test}
   "qcheck" {with-test & >= "0.16" }
   "odoc" {with-doc}