Use Stdlib. instead of Pervasives. due to deprecation (#5730)

Z3Prover · Dec 22, 2021 · f3af219 · f3af219
1 parent cf6486f
commit f3af219
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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