diff options
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index dabd18cf81..19bb885c5e 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -39,7 +39,6 @@ type directive_fun = | Directive_int of (int -> unit) | Directive_ident of (Longident.t -> unit) | Directive_bool of (bool -> unit) - | Directive_generic of (Parsetree.directive_argument list -> unit) val directive_table : (string, directive_fun) Hashtbl.t (* Table of known directives, with their execution function *) |