Rename printk() to printf().

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

diff --git a/src/threads/synch.h b/src/threads/synch.h
index c74ba6813455f102c6540feb8a433952508c32d5..c8ac2f446508a793962d455e6d3551e1af56d125 100644 (file)
--- a/src/threads/synch.h
+++ b/src/threads/synch.h
@@ -1,8 +1,8 @@
 #ifndef HEADER_SYNCH_H
 #define HEADER_SYNCH_H 1
 
+#include <list.h>
 #include <stdbool.h>
-#include "lib/list.h"
 
 /* A counting semaphore. */
 struct semaphore