From: rich <rich>
Date: Wed, 19 Jan 2005 17:10:19 +0000 (+0000)
Subject: Flush stdout after printing.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=1619b9577d8020825aa39f66c778046448de54b5;p=ocaml-csv.git

Flush stdout after printing.
---

diff --git a/csv.ml b/csv.ml
index 837d215..c4381ee 100644
--- a/csv.ml
+++ b/csv.ml
@@ -1,6 +1,6 @@
 (* csv.ml - comma separated values parser
  *
- * $Id: csv.ml,v 1.3 2004-12-22 13:47:51 rich Exp $
+ * $Id: csv.ml,v 1.4 2005-01-19 17:10:19 rich Exp $
  *)
 
 (* The format of CSV files:
@@ -245,7 +245,7 @@ let save_out ?(separator = ',') chan csv =
 	       output_char chan '\n') csv
 
 let print ?separator csv =
-  save_out ?separator stdout csv
+  save_out ?separator stdout csv; flush stdout
 
 let save ?separator file csv =
   let chan = open_out file in