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