diff --git a/CHANGES b/CHANGES index eb66a829ce651d9c5d6a870e31923b941aa352a3..e11b4d6918add2c85160afdf6a248390a94f50d8 100644 --- a/CHANGES +++ b/CHANGES @@ -1,7 +1,9 @@ ## Release 0.3.3 * Bump cmdliner version + * Bump OCaml version * Remove some warnings in 4.14 * Fix OUnit2 dependency + * Support 32bit by removing large integer constant ## Release 0.3.2 * Add missing dependencies diff --git a/src_colibri2/bin/options.ml b/src_colibri2/bin/options.ml index 25d5c0de915a254130f7f8e96b96ee27caddb27e..612bc1caab6184c16926093f64fdd711e9403380 100644 --- a/src_colibri2/bin/options.ml +++ b/src_colibri2/bin/options.ml @@ -195,13 +195,12 @@ let print_limit_last_effort : _ Arg.printer = let size_string f = let n = int_of_float f in let aux n div = (n / div, n mod div) in - let n_tera, n = aux n 1_000_000_000_000 in let n_giga, n = aux n 1_000_000_000 in let n_mega, n = aux n 1_000_000 in let n_kilo, n = aux n 1_000 in let print_aux s n = if n <> 0 then string_of_int n ^ s else "" in - print_aux "To" n_tera ^ print_aux "Go" n_giga ^ print_aux "Mo" n_mega - ^ print_aux "ko" n_kilo ^ print_aux "" n + print_aux "Go" n_giga ^ print_aux "Mo" n_mega ^ print_aux "ko" n_kilo + ^ print_aux "" n let print_size fmt f = Format.fprintf fmt "%s" (size_string f)