Merge pull request #222 from n-osborne/hotfix

Add missing dependency
ocaml-gospel · Apr 15, 2024 · a5a285d · a5a285d
2 parents 156ce1c + 661955d
commit a5a285d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
@@ -34,6 +34,8 @@ depends: [
   "qcheck-multicoretests-util" {with-test}
   "ortac-core"
   "ortac-runtime" {with-test}
+  "ortac-runtime" {with-test}
+  "ortac-runtime-qcheck-stm" {with-test}
   "odoc" {with-doc}
 ]
 conflicts: [