From 969c8e4b5f3254212a00e48fa72f346d9c9c2df4 Mon Sep 17 00:00:00 2001
From: mib <mib>
Date: Wed, 10 Nov 1993 07:20:02 +0000
Subject: [PATCH] Formerly ../mach/devstream.c.~12~

---
 mach/devstream.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mach/devstream.c b/mach/devstream.c
index 368b82b2bd..bdea44b642 100644
--- 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;
-- 
2.11.0