X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.c;h=aaeb109314775c49f626e3bf9b27445a96d93416;hb=9fd03907adce1d0e3e31a8ce6be3e1547434ce40;hp=c92c812ed18857c599a54cffb4e42a02d0ab7198;hpb=59dcfa0128761394803087761b5756927774b331;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