From dc2e676c9cdedea43805c21a4b3203832a985f95 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 23 May 2001 15:13:07 +0000
Subject: amelioration des messages d'erreurs vis a vis des evars ajout
 automatique des chemins vers les sources au moment du Drop

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1761 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqtop.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'toplevel/coqtop.ml')

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 27bb17d85..befe4cf43 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -213,6 +213,10 @@ let start () =
       exit 1
   end;
   if !batch_mode then (flush_all(); Profile.print_profile ();exit 0);
-  Toplevel.loop()
+  Toplevel.loop();
+(* Initialise and launch the Ocaml toplevel *)
+  Coqinit.init_ocaml_path();
+  Mltop.ocaml_toploop();
+  exit 1
 
 (* [Coqtop.start] will be called by the code produced by coqmktop *)
-- 
cgit v1.2.3