Fix: max_arity_tms was using wrong comparison

(cherry picked from commit a104858f2dd754e5d086c3884823f3f39d716691)

diff --git a/ocaml/num.ml b/ocaml/num.ml
index 5f97abbca4f7217912637aa1954577ba9e0f6503..95501a4e14cb0878e83196dde9dd4a438cd03683 100644 (file)
--- a/ocaml/num.ml
+++ b/ocaml/num.ml
@@ -325,7 +325,7 @@ let max_arity_tms n =
   | `Match(u,_,_,bs,args) -> max (max (aux l (u :> nf)) (aux_tms l args)) (aux_tms l (List.map snd !bs))
   | `N _ -> 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)
 ;;