X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.c;h=aaeb109314775c49f626e3bf9b27445a96d93416;hb=fcb5d5ae90ae9d5319a3e4b7aed2c751e1dfaadf;hp=c92c812ed18857c599a54cffb4e42a02d0ab7198;hpb=3836cfc77ccaace693f83be1ed5a290bce26e564;p=pintos-anon

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index c92c812..aaeb109 100644
--- a/src/lib/user/syscall.c
+++ b/src/lib/user/syscall.c
@@ -1,5 +1,4 @@
 #include <syscall.h>
-#include "syscall-stub.h"
 #include "../syscall-nr.h"
 
 /* Invokes syscall NUMBER, passing no arguments, and returns the