Fix: max_arity_tms was using wrong comparison

diff --git a/ocaml/num.ml b/ocaml/num.ml
index 93115a539975b5b6402fd3df1d2328f7ab29c3e0..71f493545df93edce3e4a9b844b838b3b54e2c66 100644 (file)
--- a/ocaml/num.ml
+++ b/ocaml/num.ml
@@ -369,6 +369,6 @@ let max_arity_tms n =
   | `Match(u,_,_,bs,args) -> max (max (aux l (u :> nf)) (aux_tms l (args :> nf list))) (aux_tms l (List.map snd !bs))
   | `N _ | `Bottom | `Pacman -> None
  and aux_tms l =
-  List.fold_left (fun acc t -> Pervasives.max acc (aux l t)) None in
+  List.fold_left (fun acc t -> max acc (aux l t)) None in
  fun tms -> aux_tms 0 (tms :> nf list)
 ;;