1 files changed, 0 insertions, 12 deletions

diff --git a/pintos-progos/threads/init.h b/pintos-progos/threads/init.h
deleted file mode 100644
index 8a3df90..0000000
--- a/pintos-progos/threads/init.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef THREADS_INIT_H
-#define THREADS_INIT_H
-
-#include <debug.h>
-#include <stdbool.h>
-#include <stddef.h>
-#include <stdint.h>
-
-/* Page directory with kernel mappings only. */
-extern uint32_t *init_page_dir;
-
-#endif /* threads/init.h */