Fix mdx dep configuration used by @runtest

mbarbin · Oct 27, 2024 · b479c69 · b479c69
1 parent 2d37488
commit b479c69
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/dune-project b/dune-project
@@ -59,9 +59,7 @@
     (>= v0.17)
     (< v0.18)))
   (mdx
-   (and
-    :with-doc
-    (>= 2.4)))
+   (>= 2.4))
   (ppx_compare
    (and
     (>= v0.17)

diff --git a/provider-tests.opam b/provider-tests.opam
@@ -17,7 +17,7 @@ depends: [
   "eio_main" {>= "1.0"}
   "expect_test_helpers_core" {>= "v0.17" & < "v0.18"}
   "higher_kinded" {>= "v0.17" & < "v0.18"}
-  "mdx" {with-doc & >= "2.4"}
+  "mdx" {>= "2.4"}
   "ppx_compare" {>= "v0.17" & < "v0.18"}
   "ppx_enumerate" {>= "v0.17" & < "v0.18"}
   "ppx_expect" {>= "v0.17" & < "v0.18"}