X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fconsole.c;h=22bdc8c8b23dbd4a4b70df662738cb7c282ce7a1;hb=123ffab09a40b08fc381e1bd7e33077fe531d47f;hp=d2b9dc72f44899704d14fc48f113e269cea5b0fc;hpb=04c55108f55f8a6f4a31a5085151bb729635ff8e;p=pintos-anon

diff --git a/src/lib/user/console.c b/src/lib/user/console.c
index d2b9dc7..22bdc8c 100644
--- a/src/lib/user/console.c
+++ b/src/lib/user/console.c
@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include <string.h>
 #include <syscall.h>
 #include <syscall-nr.h>
 
@@ -29,8 +30,7 @@ hprintf (int handle, const char *format, ...)
 int
 puts (const char *s) 
 {
-  while (*s != '\0')
-    putchar (*s++);
+  write (STDOUT_FILENO, s, strlen (s));
   putchar ('\n');
 
   return 0;