mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 09:55:19 +00:00
Use Stdlib. instead of Pervasives. due to deprecation (#5730)
This commit is contained in:
parent
cf6486f990
commit
f3af2193d0
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue