Major revisions to documentation.

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

diff --git a/src/userprog/gdt.c b/src/userprog/gdt.c
index 0e393ec6bf2800cbeebb9599e5a566adbc55aa62..bed5d582fc45daf8df0f9212d4ec1674327eda5c 100644 (file)
--- 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).