Major revisions to documentation.

[pintos-anon] / src / userprog / process.c

diff --git a/src/userprog/process.c b/src/userprog/process.c
index a52646104e0d6e00be9a58493e93b7883fe1b41a..2207a3d1614787e73237b74256796417dbaa33c3 100644 (file)
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -14,9 +14,9 @@
 #include "threads/flags.h"
 #include "threads/init.h"
 #include "threads/interrupt.h"
-#include "threads/mmu.h"
 #include "threads/palloc.h"
 #include "threads/thread.h"
+#include "threads/vaddr.h"
 
 static thread_func execute_thread NO_RETURN;
 static bool load (const char *cmdline, void (**eip) (void), void **esp);