diff options
author | Simon Hafner <hafnersimon@gmail.com> | 2014-07-29 20:25:59 +0200 |
---|---|---|
committer | Simon Hafner <hafnersimon@gmail.com> | 2014-07-29 20:25:59 +0200 |
commit | 13875e56765c8197229170d06cef3e7cbc2421b0 (patch) | |
tree | 24616578268b2b4471924fd837baeaf6afe224e1 /lib | |
parent | 651f5122e4c8c6223892db63c7933ffa371fe047 (diff) | |
parent | 06bbd6e7d720c05550d3ee9a71691a28a84a9e79 (diff) | |
download | Nim-13875e56765c8197229170d06cef3e7cbc2421b0.tar.gz |
Merge pull request #1425 from def-/flush-doc
flush -> flushFile in doc
Diffstat (limited to 'lib')
-rw-r--r-- | lib/system.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/system.nim b/lib/system.nim index 753205777..d77b4fdee 100644 --- a/lib/system.nim +++ b/lib/system.nim @@ -2031,7 +2031,7 @@ proc echo*[T](x: varargs[T, `$`]) {.magic: "Echo", tags: [FWriteIO], gcsafe.} ## Special built-in that takes a variable number of arguments. Each argument ## is converted to a string via ``$``, so it works for user-defined ## types that have an overloaded ``$`` operator. - ## It is roughly equivalent to ``writeln(stdout, x); flush(stdout)``, but + ## It is roughly equivalent to ``writeln(stdout, x); flushFile(stdout)``, but ## available for the JavaScript target too. ## ## Unlike other IO operations this is guaranteed to be thread-safe as |