diff options
Diffstat (limited to 'toplevel/command.mli')
| -rw-r--r-- | toplevel/command.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/command.mli b/toplevel/command.mli index f38d954a1..71eec3295 100644 --- a/toplevel/command.mli +++ b/toplevel/command.mli @@ -27,7 +27,6 @@ open Pfedit val set_declare_definition_hook : (definition_entry -> unit) -> unit val get_declare_definition_hook : unit -> (definition_entry -> unit) -val set_declare_assumptions_hook : (types -> unit) -> unit (** {6 Definitions/Let} *) |