1 files changed, 0 insertions, 15 deletions

diff --git a/pintos-progos/tests/main.c b/pintos-progos/tests/main.c
deleted file mode 100644
index ad1b0f1..0000000
--- a/pintos-progos/tests/main.c
+++ /dev/null
@@ -1,15 +0,0 @@
-#include <random.h>
-#include "tests/lib.h"
-#include "tests/main.h"
-
-int
-main (int argc UNUSED, char *argv[]) 
-{
-  test_name = argv[0];
-
-  msg ("begin");
-  random_init (0);
-  test_main ();
-  msg ("end");
-  return 0;
-}