From 8ba328e305fdd7deb2c024b0cdbb13ff28c6775a Mon Sep 17 00:00:00 2001
From: vgross
Date: Fri, 16 Oct 2009 11:58:57 +0000
Subject: 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
---
 toplevel/coqtop.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'toplevel')

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();
-- 
cgit v1.2.3