X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fgdt.c;h=bed5d582fc45daf8df0f9212d4ec1674327eda5c;hb=2de6c3a98848de085ca065b42b4e3df9741345ac;hp=0e393ec6bf2800cbeebb9599e5a566adbc55aa62;hpb=8abbb333aea445641d967befd3ca477502ea770b;p=pintos-anon

diff --git a/src/userprog/gdt.c b/src/userprog/gdt.c
index 0e393ec..bed5d58 100644
--- a/src/userprog/gdt.c
+++ b/src/userprog/gdt.c
@@ -1,8 +1,8 @@
 #include "userprog/gdt.h"
 #include <debug.h>
 #include "userprog/tss.h"
-#include "threads/mmu.h"
 #include "threads/palloc.h"
+#include "threads/vaddr.h"
 
 /* The Global Descriptor Table (GDT).