From: Ben Pfaff Date: Sun, 8 Jan 2006 03:35:04 +0000 (+0000) Subject: Formatting. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=904bbd629ed1f83393e3ab8e6aa0b69e4d52c11e;p=pintos-anon Formatting. --- diff --git a/src/threads/init.c b/src/threads/init.c index a899921..c6917e2 100644 --- a/src/threads/init.c +++ b/src/threads/init.c @@ -253,7 +253,6 @@ parse_options (char **argv) #endif else PANIC ("unknown option `%s' (use -h for help)", name); - } return argv;