Modifying startup sequence

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

1 files changed, 1 insertions, 9 deletions

diff --git a/ide/coq.ml b/ide/coq.ml
index d2a2088d62..e79d315a94 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -42,15 +42,7 @@ let msgnl m =
   (msg m)^"\n"
 
 let init () =
-  (* To hide goal in lower window.
-     Problem: should not hide "xx is assumed"
-     messages *)
-(**)
-  Flags.make_silent true;
-  (* don't set a too large undo stack because Edit.create allocates an array *)
-  Pfedit.set_undo (Some 5000);
-(**)
-  Coqtop.init_ide ()
+  Coqtop.init_ide (List.tl (Array.to_list Sys.argv))
 
 
 let i = ref 0