From 07eb98ea43ad9e3a4a4a61e883907e20bc06de37 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 3 Mar 2003 16:32:36 +0000
Subject: fichiers sur la ligne de commande passes a Coq IDE

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3728 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coq.ml b/ide/coq.ml
index 3a6b729ce1..65dfd99eb0 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -24,7 +24,7 @@ let msg x =
  
 let init () = 
   Options.make_silent true;
-  Coqtop.init ()
+  ignore (Coqtop.init_ide ())
 
 let i = ref 0
 
-- 
cgit v1.2.3