diff options
Diffstat (limited to 'lib/options.mli')
| -rw-r--r-- | lib/options.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/options.mli b/lib/options.mli index efc8617de..53e796f9a 100644 --- a/lib/options.mli +++ b/lib/options.mli @@ -28,8 +28,8 @@ val silently : ('a -> 'b) -> 'a -> 'b val if_silent : ('a -> unit) -> 'a -> unit val if_verbose : ('a -> unit) -> 'a -> unit -val set_print_hyps_limit : int -> unit -val unset_print_hyps_limit : unit -> unit +(* If [None], no limit *) +val set_print_hyps_limit : int option -> unit val print_hyps_limit : unit -> int option val add_unsafe : string -> unit |