Flush stdout after printing.

diff --git a/csv.ml b/csv.ml
index 837d215..c4381ee 100644 (file)
--- 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