From 1ca54cca208876f83014119da55e747d5342b434 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 28 Jan 2004 12:42:20 +0000
Subject:  Unicode. Batch transl into HTML.

---
 src/GF.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF.hs')

diff --git a/src/GF.hs b/src/GF.hs
index c153b55b6..af75126b2 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -24,7 +24,7 @@ main = do
   let (os,fs) = getOptions "-" xs
       java    = oElem forJava os
       isNew   = oElem newParser os ---- temporary hack to have two parallel GUIs
-  putStrLn $ if java then encodeUTF8 welcomeMsg else welcomeMsg
+  putStrLnFlush $ if java then encodeUTF8 welcomeMsg else welcomeMsg
   st <- case fs of 
     _ -> useIOE emptyShellState $ foldM (shellStateFromFiles os) emptyShellState fs
   ---  _ -> return emptyShellState
-- 
cgit v1.2.3