From bc90bb53aa4d3d2a6750a6f1bd352f8c5a9e3f52 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 6 Dec 2012 04:00:04 +0000
Subject: Restoring flush of Welcome message lost in r15148

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

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index b196e6b4b8..ecd9cafaca 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -32,8 +32,8 @@ let get_version_date () =
 
 let print_header () =
   let (ver,rev) = (get_version_date ()) in
-    pp (str "Welcome to Coq "++ str ver ++ str " (" ++ str rev ++ str ")" ++ fnl ());
-    flush stdout
+  pp (str "Welcome to Coq "++ str ver ++ str " (" ++ str rev ++ str ")" ++ fnl ());
+  pp_flush ()
 
 let output_context = ref false
 
-- 
cgit v1.2.3