aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqtop.mli
diff options
context:
space:
mode:
authorGravatar vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7>2010-05-31 22:22:06 +0000
committerGravatar vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7>2010-05-31 22:22:06 +0000
commit509a55ed055a9d30e8c1501946a9bbeb19ecdbf3 (patch)
tree03ddab3789266bc3cff7adb34bad4111e20fbf75 /toplevel/coqtop.mli
parent75afe9058afc2dca20472c1f8ed07c901b831bd3 (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.mli2
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