X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fthread.h;h=27c1f041fa8f24f094cd666a3b50d8cd63840c0f;hp=421751be943f90bd7ad080b3dae9aecdb593d095;hb=f6580e9ad405b519dbe85027691bf3c66074b0a4;hpb=2324ca7dd99fe1787ff4eac42f73d491eb2b9f36

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 421751b..27c1f04 100644
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -2,11 +2,11 @@
 #define HEADER_THREAD_H 1
 
 #include <stdint.h>
-#include "debug.h"
-#include "list.h"
+#include "lib/debug.h"
+#include "lib/list.h"
 
 #ifdef USERPROG
-#include "addrspace.h"
+#include "userprog/addrspace.h"
 #endif
 
 /* States in a thread's life cycle. */