diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/flags.ml | 6 | ||||
| -rw-r--r-- | lib/flags.mli | 5 |
2 files changed, 0 insertions, 11 deletions
diff --git a/lib/flags.ml b/lib/flags.ml index 8ec4a23512..13f5403790 100644 --- a/lib/flags.ml +++ b/lib/flags.ml @@ -84,12 +84,6 @@ let unsafe_set = ref Stringset.empty let add_unsafe s = unsafe_set := Stringset.add s !unsafe_set let is_unsafe s = Stringset.mem s !unsafe_set -(* Flags for the virtual machine *) - -let boxed_definitions = ref true -let set_boxed_definitions b = boxed_definitions := b -let boxed_definitions _ = !boxed_definitions - (* Flags for external tools *) let subst_command_placeholder s t = diff --git a/lib/flags.mli b/lib/flags.mli index 7c46686778..ecb4d6dd63 100644 --- a/lib/flags.mli +++ b/lib/flags.mli @@ -65,11 +65,6 @@ val print_hyps_limit : unit -> int option val add_unsafe : string -> unit val is_unsafe : string -> bool -(** Options for the virtual machine *) - -val set_boxed_definitions : bool -> unit -val boxed_definitions : unit -> bool - (** Options for external tools *) (** Returns string format for default browser to use from Coq or CoqIDE *) |