Remove dscheck pin

ocaml-multicore · Jul 10, 2024 · 4012b1a · 4012b1a
1 parent f9a8105
commit 4012b1a
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 10 deletions.
diff --git a/multicore-magic-dscheck.opam b/multicore-magic-dscheck.opam
@@ -28,8 +28,3 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocaml-multicore/multicore-magic.git"
-pin-depends:
-  [
-  "dscheck.dev"
-  "git+https://github.com/lyrm/dscheck.git#d325890d36267dc0d4d76cbd38860ee67cee731e"
-  ]
diff --git a/multicore-magic-dscheck.opam.template b/multicore-magic-dscheck.opam.template
diff --git a/test/dune b/test/dune
@@ -1,4 +1,5 @@
 (test
  (name Multicore_magic_test)
+ (package multicore-magic)
  (modules Multicore_magic_test)
  (libraries Multicore_magic alcotest domain_shims threads.posix unix))