diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 9818ef6610..c19fe7889a 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -20,7 +20,7 @@ val version : unit -> string val filter_coq_opts : string list -> string list (** Launch a coqtop with the user args in order to be sure that it works, - checking in particular that initial.coq is found. This command + checking in particular that Prelude.vo is found. This command may terminate coqide in case of trouble *) val check_connection : string list -> unit |