From: Ben Pfaff <blp@cs.stanford.edu>
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;ds=sidebyside;h=904bbd629ed1f83393e3ab8e6aa0b69e4d52c11e;hp=99eb1759eb5a6c39e5410f1c1d907648aa393b55;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;