From f3af2193d0f20ea5d6a3d727c5c97f0255aec3a4 Mon Sep 17 00:00:00 2001
From: Anton Kochkov <anton.kochkov@gmail.com>
Date: Wed, 22 Dec 2021 23:53:47 +0800
Subject: [PATCH] Use Stdlib. instead of Pervasives. due to deprecation (#5730)

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

diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml
index 1448a9ea5..b904937a9 100644
--- a/src/api/ml/z3.ml
+++ b/src/api/ml/z3.ml
@@ -203,7 +203,7 @@ end = struct
   let equal = (=)
 
   (* The standard comparison uses the custom operations of the C layer *)
-  let compare = Pervasives.compare
+  let compare = Stdlib.compare
 
   let translate (x:ast) (to_ctx:context) =
     if gc x = to_ctx then