Major revisions to documentation.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index cb4edf9deb5a7a39eae5b12f8f030e4d3f3e1e2b..57797be7dbdd023a351b04798ad6eebe7acf481a 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -16,8 +16,8 @@
 #include "threads/io.h"
 #include "threads/loader.h"
 #include "threads/malloc.h"
-#include "threads/mmu.h"
 #include "threads/palloc.h"
+#include "threads/pte.h"
 #include "threads/thread.h"
 #ifdef USERPROG
 #include "userprog/process.h"