syscall-stub.h is gone; don't #include it.

[pintos-anon] / src / lib / user / syscall.c

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index c92c812ed18857c599a54cffb4e42a02d0ab7198..aaeb109314775c49f626e3bf9b27445a96d93416 100644 (file)
--- 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