diff options
Diffstat (limited to 'ide/session.mli')
| -rw-r--r-- | ide/session.mli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/ide/session.mli b/ide/session.mli index 75b03d860..e98cbbd7d 100644 --- a/ide/session.mli +++ b/ide/session.mli @@ -22,11 +22,8 @@ type session = { tab_label : GMisc.label; } -type print_items = - (Coq.PrintOpt.t list * string * string * string * bool) list - (** [create filename coqtop_args] *) -val create : string option -> string list -> print_items -> session +val create : string option -> string list -> session val kill : session -> unit |