X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Faddrspace.c;h=519da93cc90ed302ddf5ab3ea684d5ff8f95e238;hb=c9c283cb3e26a5b6d918ee47dcf8efe28522b18d;hp=dc6cb727f262df24b82685affe0078d0525270bf;hpb=e16cf23bd993de3726287f9920efa8f667232423;p=pintos-anon

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index dc6cb72..519da93 100644
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -3,6 +3,7 @@
 #include "debug.h"
 #include "file.h"
 #include "filesys.h"
+#include "gdt.h"
 #include "init.h"
 #include "lib.h"
 #include "mmu.h"