Redo makefiles.
[pintos-anon] / src / threads / thread.h
index 421751be943f90bd7ad080b3dae9aecdb593d095..27c1f041fa8f24f094cd666a3b50d8cd63840c0f 100644 (file)
@@ -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. */