Removed deprecated Pervasives module

src/dimension.ml

@@ -174,7 +174,7 @@ let rec factors_constant fs =
 let norm_factors fs =
   let k = factors_constant fs in
   let nk = List.filter (fun d -> not (is_dimension_const d)) fs in
-  (k, List.sort Pervasives.compare nk)
+  (k, List.sort compare nk)
 
 let rec terms dim =
  match dim.dim_desc with

src/utils/utils.ml

@@ -257,7 +257,7 @@ let pp_final_char_if_non_empty c l =
 let pp_newline_if_non_empty l =
   (fun fmt -> match l with [] -> () | _ -> Format.fprintf fmt "@,")
 
-let fprintf_list ?(eol:('a, formatter, unit) Pervasives.format = "") ~sep:sep f fmt l =
+let fprintf_list ?(eol:('a, formatter, unit) format = "") ~sep:sep f fmt l =
   let rec aux fmt = function
   | []   -> ()
   | [e]  -> f fmt e