From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pintos-anon;a=commitdiff_plain;h=fcb5d5ae90ae9d5319a3e4b7aed2c751e1dfaadf

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 <syscall.h>
-#include "syscall-stub.h"
 #include "../syscall-nr.h"
 
 /* Invokes syscall NUMBER, passing no arguments, and returns the