Pervasives -> Stdlib

claudemarche · Oct 26, 2020 · f25cfe7 · f25cfe7
1 parent 445e347
commit f25cfe7
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/bdd.opam b/bdd.opam
@@ -7,6 +7,7 @@ homepage: "https://www.lri.fr/~filliatr/software.en.html"
 bug-reports: "https://github.com/backtracking/ocaml-bdd/issues"
 depends: [
   "dune" {build}
+  "stdlib-shims"
 ]
 build: [
   ["dune" "subst"] {pinned}

diff --git a/lib/bdd.ml b/lib/bdd.ml
@@ -251,7 +251,7 @@ module Bdd = struct
   type t = bdd
   let equal = (==)
   let hash b = b.tag
-  let compare b1 b2 = Pervasives.compare b1.tag b2.tag
+  let compare b1 b2 = Stdlib.compare b1.tag b2.tag
 end
 module H1 = Hashtbl.Make(Bdd)
 

diff --git a/lib/dune b/lib/dune
@@ -1,7 +1,8 @@
 (library
   (name bdd)
   (modules bdd)
-  (public_name bdd))
+  (public_name bdd)
+  (libraries stdlib-shims))
 
 (library
   (name prop)