diff options
Diffstat (limited to 'toplevel/coqtop.mli')
-rw-r--r-- | toplevel/coqtop.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/coqtop.mli b/toplevel/coqtop.mli index 892d64d91..ac2be7e16 100644 --- a/toplevel/coqtop.mli +++ b/toplevel/coqtop.mli @@ -15,7 +15,6 @@ val init_toplevel : string list -> unit val start : unit -> unit - (* For other toploops *) val toploop_init : (string list -> string list) ref val toploop_run : (unit -> unit) ref |