diff --git a/src/bin/options.ml b/src/bin/options.ml index 64cf636887da8c8ebdfefacc5a486b682cecc080..d3c22b63d1a78fd203ebc574d0d15dd6fda4ff7d 100644 --- a/src/bin/options.ml +++ b/src/bin/options.ml @@ -240,13 +240,13 @@ let state = let doc = "Stop the program after a time lapse of $(docv). Accepts usual suffixes for durations : s,m,h,d. Without suffix, default to a time in seconds." in - Arg.(value & opt c_time 300. & info ["t"; "time"] ~docv:"TIME" ~doc ~docs) + Arg.(value & opt c_time infinity & info ["t"; "time"] ~docv:"TIME" ~doc ~docs) in let size = let doc = "Stop the program if it tries and use more the $(docv) memory space. " ^ "Accepts usual suffixes for sizes : k,M,G,T. " ^ "Without suffix, default to a size in octet." in - Arg.(value & opt c_size 1_000_000_000. & info ["s"; "size"] ~docv:"SIZE" ~doc ~docs) + Arg.(value & opt c_size infinity & info ["s"; "size"] ~docv:"SIZE" ~doc ~docs) in let in_lang = let doc = Format.asprintf