X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.c;fp=src%2Fuserprog%2Fprocess.c;h=2207a3d1614787e73237b74256796417dbaa33c3;hb=f415a37905c57f61b444806bf84f5405184452aa;hp=a52646104e0d6e00be9a58493e93b7883fe1b41a;hpb=fa97205f611b922b85299e79edba9a0bbbe3cfb2;p=pintos-anon

diff --git a/src/userprog/process.c b/src/userprog/process.c
index a526461..2207a3d 100644
--- 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);