diff options
author | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-31 22:22:06 +0000 |
---|---|---|
committer | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-31 22:22:06 +0000 |
commit | 509a55ed055a9d30e8c1501946a9bbeb19ecdbf3 (patch) | |
tree | 03ddab3789266bc3cff7adb34bad4111e20fbf75 /toplevel/coqtop.mli | |
parent | 75afe9058afc2dca20472c1f8ed07c901b831bd3 (diff) |
Modifying startup sequence
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13039 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/coqtop.mli')
-rw-r--r-- | toplevel/coqtop.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.mli b/toplevel/coqtop.mli index e4f1537a2..104e964c2 100644 --- a/toplevel/coqtop.mli +++ b/toplevel/coqtop.mli @@ -17,5 +17,5 @@ val start : unit -> unit It does everything [start] does, except launching the toplevel loop. It returns the list of Coq files given on the command line. *) -val init_ide : unit -> string list +val init_ide : System.physical_path list -> string list |