From 29bff98da61fffcad2cdea05ad9ac1f78d16699b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 4 Jul 2021 00:00:48 -0400
Subject: [PATCH] chore: fix opam

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

diff --git a/sidekick-base.opam b/sidekick-base.opam
index db06be6c..f7d65808 100644
--- a/sidekick-base.opam
+++ b/sidekick-base.opam
@@ -20,7 +20,7 @@ depends: [
   "alcotest" {with-test}
   "qcheck" {with-test & >= "0.16" }
   "odoc" {with-doc}
-  "ocaml-mdx" {with-test}
+  "mdx" {with-test}
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"