From: Ben Pfaff Date: Mon, 22 May 2006 01:45:13 +0000 (+0000) Subject: Fix comment style. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a7f3ab1350076b71020f6fa859a9b2543a12f6e5;p=pintos-anon Fix comment style. --- diff --git a/src/lib/stdio.c b/src/lib/stdio.c index e74d5dd..baefaf0 100644 --- a/src/lib/stdio.c +++ b/src/lib/stdio.c @@ -74,8 +74,7 @@ snprintf (char *buffer, size_t buf_size, const char *format, ...) /* Writes formatted output to the console. In the kernel, the console is both the video display and first serial port. - In userspace, the console is file descriptor 1. -*/ + In userspace, the console is file descriptor 1. */ int printf (const char *format, ...) {