Formerly ../mach/devstream.c.~12~

diff --git a/mach/devstream.c b/mach/devstream.c
index 368b82b..bdea44b 100644 (file)
--- a/mach/devstream.c
+++ b/mach/devstream.c
@@ -74,7 +74,7 @@ output (FILE *f, int c)
       int wrote;
       while (to_write > 0)
        {
-         if (err = device_write_inband ((device_t) f->__cookie, 0,
+e        if (err = device_write_inband ((device_t) f->__cookie, 0,
                                         f->__target, p, to_write, &wrote))
            {
              errno = err;