Redo makefiles.

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

diff --git a/src/threads/synch.c b/src/threads/synch.c
index d7601dacddc89f7c772d3340cf0e856b81c82f09..7993543016448f5fa55b4ed5378a022e181c0fc6 100644 (file)
--- a/src/threads/synch.c
+++ b/src/threads/synch.c
@@ -28,8 +28,8 @@
 
 #include "synch.h"
 #include "interrupt.h"
-#include "lib.h"
 #include "thread.h"
+#include "lib/lib.h"
 
 /* Initializes semaphore SEMA to VALUE and names it NAME (for
    debugging purposes only).  A semaphore is a nonnegative