X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fuserprog%2Fexception.c;h=dead766fdbde82b736394f1fc4c8ab92d371ff37;hb=9ad2fa73d2c0361aa7e14134045b27f08872379f;hp=4e9d28ffd321204709afaabc0ea22f023e53296f;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

diff --git a/src/userprog/exception.c b/src/userprog/exception.c
index 4e9d28f..dead766 100644
--- a/src/userprog/exception.c
+++ b/src/userprog/exception.c
@@ -74,8 +74,7 @@ kill (struct intr_frame *f)
       /* User's code segment, so it's a user exception, as we
          expected.  Kill the user process.  */
       printf ("%s: dying due to interrupt %#04x (%s).\n",
-              thread_name (thread_current ()),
-              f->vec_no, intr_name (f->vec_no));
+              thread_name (), f->vec_no, intr_name (f->vec_no));
       intr_dump_frame (f);
       thread_exit ();