From 78656d220bac17cfc5d27be98014c58d99256aea Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Wed, 2 Sep 2020 19:20:49 +0200
Subject: [PATCH] FIXED: reliably write all characters when using format/3

This addresses #693.

Many thanks to @notoria for a brilliant test case, and the
suggestion of this correction!
---
 src/machine/system_calls.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index d2779d1a..a4933097 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -2137,7 +2137,7 @@ impl MachineState {
                     bytes = string.into_bytes();
                 }
 
-                match stream.write(&bytes) {
+                match stream.write_all(&bytes) {
                     Ok(_) => {
                         return return_from_clause!(self.last_call, self);
                     }
-- 
2.54.0