update opam file for supporting only OCaml >= 4.08

Sapphire-Lilith · Apr 5, 2020 · 1ab6c9d · 1ab6c9d
1 parent de66a49
commit 1ab6c9d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/satysfi.opam b/satysfi.opam
@@ -20,11 +20,11 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
+  "ocaml" {>= "4.08.0"}
   "batteries"
   "camlimages" {>= "5.0.1"}
   "camlpdf" {= "2.3.1+satysfi"}
-  "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
+  "core_kernel" {>= "v0.13"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
   "depext"
   "dune" {build}

diff --git a/src/backend/flowGraph.ml b/src/backend/flowGraph.ml
@@ -5,7 +5,7 @@ let print_for_debug msg =
 *)
   ()
 
-module Heap = Core_kernel.Heap
+module Heap = Core_kernel.Pairing_heap
 
 
 module type VertexType =