1 files changed, 0 insertions, 15 deletions

diff --git a/pintos-progos/tests/userprog/child-simple.c b/pintos-progos/tests/userprog/child-simple.c
deleted file mode 100644
index 0d2dacf..0000000
--- a/pintos-progos/tests/userprog/child-simple.c
+++ /dev/null
@@ -1,15 +0,0 @@
-/* Child process run by exec-multiple, exec-one, wait-simple, and
-   wait-twice tests.
-   Just prints a single message and terminates. */
-
-#include <stdio.h>
-#include "tests/lib.h"
-
-const char *test_name = "child-simple";
-
-int
-main (void) 
-{
-  msg ("run");
-  return 81;
-}