From: Ben Pfaff Date: Fri, 21 Jan 2005 22:12:48 +0000 (+0000) Subject: syscall-stub.h is gone; don't #include it. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fcb5d5ae90ae9d5319a3e4b7aed2c751e1dfaadf;p=pintos-anon syscall-stub.h is gone; don't #include it. --- 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 -#include "syscall-stub.h" #include "../syscall-nr.h" /* Invokes syscall NUMBER, passing no arguments, and returns the