Merge pull request #180 from shym/mdx-version

Update OPAM file
ocaml-gospel · Nov 14, 2023 · f86400b · f86400b
2 parents 6d4be75 + ea56a59
commit f86400b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
@@ -26,7 +26,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "fmt"
   "ppxlib" {>= "0.26.0"}
-  "mdx" {with-test}
+  "mdx" {with-test & >= "2.3.0"}
   "gospel" {>= "0.2.0"}
   "qcheck-core" {with-test}
   "qcheck-stm" {with-test}