From f25cfe74ac19f1655b632cf3ea613eb51df62618 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Mon, 26 Oct 2020 10:47:54 +0100
Subject: [PATCH] Pervasives -> Stdlib

---
 bdd.opam   | 1 +
 lib/bdd.ml | 2 +-
 lib/dune   | 3 ++-
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/bdd.opam b/bdd.opam
index 37a8c56..8a9167c 100644
--- 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
index 27af244..2170d83 100644
--- 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
index 166bc05..3a9eb97 100644
--- 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)