Move pagedir stuff into userprog.

[pintos-anon] / src / threads / thread.c

diff --git a/src/threads/thread.c b/src/threads/thread.c
index 90a4dcd6456f77423a781265737ed823ffbf3dc7..a1c98a6c0564af07663b208f159026914080d728 100644 (file)
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -3,6 +3,7 @@
 #include <stddef.h>
 #include <random.h>
 #include <string.h>
+#include "threads/flags.h"
 #include "threads/interrupt.h"
 #include "threads/intr-stubs.h"
 #include "threads/mmu.h"