From db1ee152551f95ff25a02b4279c156ebbc3d8e3a Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 30 Jan 2003 10:01:37 +0000
Subject: changement de place du Initial State (maintenant apres l'analyse de
 la ligne de commande)

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

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 2df94d133c..6c56ca10bd 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -37,11 +37,7 @@ let remove_top_ml () = Mltop.remove ()
 
 let inputstate = ref "initial.coq"
 let set_inputstate s = inputstate:= s
-let inputstate () =
-  if !inputstate <> "" then begin
-    intern_state !inputstate;
-    Lib.declare_initial_state()
-  end
+let inputstate () = if !inputstate <> "" then intern_state !inputstate
 
 let outputstate = ref ""
 let set_outputstate s = outputstate:=s
@@ -245,6 +241,7 @@ let start () =
       exit 1
   end;
   if !batch_mode then (flush_all(); Profile.print_profile (); exit 0);
+  Lib.declare_initial_state ();
   Toplevel.loop();
   (* Initialise and launch the Ocaml toplevel *)
   Coqinit.init_ocaml_path();
-- 
cgit v1.2.3