X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fsynch.h;h=c74ba6813455f102c6540feb8a433952508c32d5;hb=f6580e9ad405b519dbe85027691bf3c66074b0a4;hp=d21ecff08ca546473cbfc7d84229fa5d54310fab;hpb=3625c2e6aba3b282f91282492c4b3fba324816c1;p=pintos-anon

diff --git a/src/threads/synch.h b/src/threads/synch.h
index d21ecff..c74ba68 100644
--- a/src/threads/synch.h
+++ b/src/threads/synch.h
@@ -2,7 +2,7 @@
 #define HEADER_SYNCH_H 1
 
 #include <stdbool.h>
-#include "list.h"
+#include "lib/list.h"
 
 /* A counting semaphore. */
 struct semaphore