diff options
Diffstat (limited to 'lib/options.mli')
| -rw-r--r-- | lib/options.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/options.mli b/lib/options.mli index bf73cfcdf..e8f7a2780 100644 --- a/lib/options.mli +++ b/lib/options.mli @@ -32,9 +32,5 @@ val set_print_hyps_limit : int -> unit val unset_print_hyps_limit : unit -> unit val print_hyps_limit : unit -> int option -val make_mes_ambig : bool -> unit -val is_mes_ambig : unit -> bool -val without_mes_ambig : ('a -> 'b) -> 'a -> 'b - val add_unsafe : string -> unit val is_unsafe : string -> bool |