Formatting.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index a899921d953aef64ba2c88b01e8a15cece263278..c6917e224b393b5299dddabd40d1541fbeeef33c 100644 (file)
--- 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;