Skip to content

Commit

Permalink
Merge pull request #855 from rixed/master
Browse files Browse the repository at this point in the history
Remove mention of IO.flush_out that does not exist.
  • Loading branch information
gasche committed Mar 26, 2018
2 parents 1cbc430 + cd8053b commit 0478c88
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/batIO.mli
Expand Up @@ -61,8 +61,7 @@
grouped into large writing operations, as these are generally
faster and induce less wear on the hardware. Occasionally, you
may wish to force all waiting operations to take place {e now}.
For this purpose, you may either function {!flush} or function
I {!flush_out}.
For this purpose, you may call function {!flush}.
Once you have finished using your {!type: input} or your {!type:
output}, chances are that you will want to close it. This is not a
Expand Down

0 comments on commit 0478c88

Please sign in to comment.