X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fsyscall.c;h=db67593b4d910e223e8ec645b78942895c9232af;hb=691750d03ff70aa5cef5fba81fed82e3a941bf95;hp=7f758c617d8089fd664cafba0d7973ae9ccc5e57;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

diff --git a/src/userprog/syscall.c b/src/userprog/syscall.c
index 7f758c6..db67593 100644
--- a/src/userprog/syscall.c
+++ b/src/userprog/syscall.c
@@ -13,7 +13,7 @@ syscall_init (void)
 }
 
 static void
-syscall_handler (struct intr_frame *f) 
+syscall_handler (struct intr_frame *f UNUSED) 
 {
   printf ("system call!\n");
   thread_exit ();