From 16c320315ed4d5d0c4f67cffd36f028029c01a60 Mon Sep 17 00:00:00 2001 From: acondolu Date: Thu, 13 Jul 2017 17:34:12 +0200 Subject: [PATCH] Fix: max_arity_tms was using wrong comparison (cherry picked from commit a104858f2dd754e5d086c3884823f3f39d716691) --- ocaml/num.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ocaml/num.ml b/ocaml/num.ml index 5f97abb..95501a4 100644 --- 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) ;; -- 2.39.2