os api: flush_stdout => flush

This commit is contained in:
yuyi 2020-03-03 07:00:30 +08:00 committed by GitHub
parent 895a1711cb
commit ea10f44fe6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 11 additions and 6 deletions

View file

@ -848,7 +848,7 @@ pub fn (v &V) log(s string) {
pub fn verror(s string) {
println('V error: $s')
os.flush_stdout()
os.flush()
exit(1)
}