note for later : when the tag table is shared, never, ever create two

tags with the same name. This fixes file opening.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12396 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 1 deletions

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index e00c56a14c..a88ee3ba6a 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -374,10 +374,12 @@ let init is_ide =
      exit 0);
   Lib.declare_initial_state ()
 
+let init_toplevel () = init false
+
 let init_ide () = init true; List.rev !ide_args
 
 let start () =
-  init false;
+  init_toplevel ();
   Toplevel.loop();
   (* Initialise and launch the Ocaml toplevel *)
   Coqinit.init_ocaml_path();