update opam file in order to use Pairing_heap

Sapphire-Lilith · Apr 5, 2020 · 75c0904 · 75c0904
1 parent 1ab6c9d
commit 75c0904
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/satysfi.opam b/satysfi.opam
@@ -24,7 +24,7 @@ depends: [
   "batteries"
   "camlimages" {>= "5.0.1"}
   "camlpdf" {= "2.3.1+satysfi"}
-  "core_kernel" {>= "v0.13"}
+  "core_kernel.pairing_heap" {>= "v0.13"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
   "depext"
   "dune" {build}