From 1619b9577d8020825aa39f66c778046448de54b5 Mon Sep 17 00:00:00 2001
From: rich <rich>
Date: Wed, 19 Jan 2005 17:10:19 +0000
Subject: [PATCH] Flush stdout after printing.

---
 csv.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
1.8.3.1