From 4c8654c57666e27637ba2f60ee5c6455176c7a1d Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@inria.fr>
Date: Tue, 31 Mar 2020 15:06:08 +0200
Subject: Port to coq-8.10 under progress

---
 src/trace/smtMisc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/trace/smtMisc.ml')

diff --git a/src/trace/smtMisc.ml b/src/trace/smtMisc.ml
index 92f0f09..607ebe7 100644
--- a/src/trace/smtMisc.ml
+++ b/src/trace/smtMisc.ml
@@ -46,7 +46,7 @@ type logic_item =
 
 module SL = Set.Make (struct
     type t = logic_item
-    let compare = Pervasives.compare
+    let compare = Stdlib.compare
   end)
 
 type logic = SL.t
-- 
cgit