Flush stdout after printing.
authorrich <rich>
Wed, 19 Jan 2005 17:10:19 +0000 (17:10 +0000)
committerrich <rich>
Wed, 19 Jan 2005 17:10:19 +0000 (17:10 +0000)
commit1619b9577d8020825aa39f66c778046448de54b5
tree1de952cd1c14a7f543db24f74445bdaa34440446
parent383c2300507f7b33c4b4606fdd3b2f03a642e0fa
Flush stdout after printing.
csv.ml