X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Finit.c;h=c6917e224b393b5299dddabd40d1541fbeeef33c;hb=904bbd629ed1f83393e3ab8e6aa0b69e4d52c11e;hp=a899921d953aef64ba2c88b01e8a15cece263278;hpb=99eb1759eb5a6c39e5410f1c1d907648aa393b55;p=pintos-anon

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;