1 files changed, 0 insertions, 10 deletions

diff --git a/pintos-progos/lib/user/entry.c b/pintos-progos/lib/user/entry.c
deleted file mode 100644
index a707c70..0000000
--- a/pintos-progos/lib/user/entry.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include <syscall.h>
-
-int main (int, char *[]);
-void _start (int argc, char *argv[]);
-
-void
-_start (int argc, char *argv[]) 
-{
-  exit (main (argc, argv));
-}