fix compilation with ocaml 5.1

Deducteam · Nov 8, 2023 · 855a531 · 855a531
1 parent 7d42e4f
commit 855a531
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/xlib.ml b/xlib.ml
@@ -520,7 +520,7 @@ let print_stats (uses : int array) (nb_proofs : int) : unit =
   let total = float_of_int nb_proofs in
   let part n = float_of_int (100 * n) /. total in
   Array.iteri
-    (fun i n -> log "%10s %9d %2.f%%\n" (name_of_code i) n (part n)) uses
+    (fun i n -> log "%10s %9d %2.0f%%\n" (name_of_code i) n (part n)) uses
 ;;
 
 (****************************************************************************)