From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 13 Jul 2017 15:34:12 +0000 (+0200)
Subject: Fix: max_arity_tms was using wrong comparison
X-Git-Tag: weak-reduction-separation~49
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=16c320315ed4d5d0c4f67cffd36f028029c01a60;p=fireball-separation.git

Fix: max_arity_tms was using wrong comparison

(cherry picked from commit a104858f2dd754e5d086c3884823f3f39d716691)
---

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)
 ;;