Redo makefiles.
[pintos-anon] / src / threads / synch.h
index d21ecff08ca546473cbfc7d84229fa5d54310fab..c74ba6813455f102c6540feb8a433952508c32d5 100644 (file)
@@ -2,7 +2,7 @@
 #define HEADER_SYNCH_H 1
 
 #include <stdbool.h>
-#include "list.h"
+#include "lib/list.h"
 
 /* A counting semaphore. */
 struct semaphore