X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Faddrspace.c;h=f535badd1bac08e4fb07fee17ca49e3a05fddd5d;hb=4ae5b813663cd56fcbe1f1f547c9d445e5dc6107;hp=65c09e41e8be3f38885b2aeffd6fd93d2c28a094;hpb=993c1d9f4452e2edd851f3175dfdf317f18bdb9f;p=pintos-anon

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index 65c09e4..f535bad 100644
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -4,12 +4,12 @@
 #include <round.h>
 #include <stdio.h>
 #include <string.h>
+#include "userprog/pagedir.h"
 #include "userprog/tss.h"
 #include "filesys/file.h"
 #include "filesys/filesys.h"
 #include "threads/init.h"
 #include "threads/mmu.h"
-#include "threads/paging.h"
 #include "threads/palloc.h"
 #include "threads/thread.h"