1 files changed, 0 insertions, 5 deletions

diff --git a/pintos-progos/userprog/syscall.h b/pintos-progos/userprog/syscall.h
deleted file mode 100644
index f7ab2f3..0000000
--- a/pintos-progos/userprog/syscall.h
+++ /dev/null
@@ -1,5 +0,0 @@
-#ifndef USERPROG_SYSCALL_H
-#define USERPROG_SYSCALL_H
-
-void syscall_init (void);
-#endif /* userprog/syscall.h */