From 00b894acef4e3cb70430605a19c52f258cb286a8 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 6 Feb 2015 14:36:09 +0100
Subject: [PATCH] Min/max typo

---
 solver/mcproof.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/solver/mcproof.ml b/solver/mcproof.ml
index 20f8eeb8..871ee248 100644
--- a/solver/mcproof.ml
+++ b/solver/mcproof.ml
@@ -351,7 +351,7 @@ module Make(St : Mcsolver_types.S) = struct
         let color = match color with None -> "YELLOW" | Some c -> c in
         let aux fmt () =
           Format.fprintf fmt "<TR><TD colspan=\"2\">%a</TD></TR><TR><TD BGCOLOR=\"%s\" rowspan=\"%d\">%s</TD>"
-            print_clause p.conclusion color (min (List.length f_args + List.length t_args) 1) name;
+            print_clause p.conclusion color (max (List.length f_args + List.length t_args) 1) name;
           if f_args <> [] then
               Format.fprintf fmt "<TD>%a</TD></TR>%a%a" St.print_atom (List.hd f_args)
                 (fun fmt -> List.iter (fun a -> Format.fprintf fmt "<TR><TD>%a</TD></TR>" St.print_atom a)) (List.tl f_args)