X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fnum.ml;h=71f493545df93edce3e4a9b844b838b3b54e2c66;hb=11c318fb43c265aade98c4240421967432052ca3;hp=93115a539975b5b6402fd3df1d2328f7ab29c3e0;hpb=4627d2b89b5a96e09b1921e033a5c1d7dd50dbc6;p=fireball-separation.git

diff --git a/ocaml/num.ml b/ocaml/num.ml
index 93115a5..71f4935 100644
--- 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)
 ;;