From 75c09046dc7cf447b99e5234cbfed68daae3a933 Mon Sep 17 00:00:00 2001
From: gfngfn <suwa-takashi141@g.ecc.u-tokyo.ac.jp>
Date: Sun, 5 Apr 2020 17:57:12 +0900
Subject: [PATCH] update opam file in order to use Pairing_heap

---
 satysfi.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/satysfi.opam b/satysfi.opam
index 91199bc8e..129bdcfa0 100644
--- 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}