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=effe2893afdc6c4f8507f81dd36cd08ef3833ede;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;