Rename printk() to printf().

[pintos-anon] / src / threads / switch.S

diff --git a/src/threads/switch.S b/src/threads/switch.S
index ba699988de02005bbe8aef62d6e40b723f4c7956..5bb56b55ec1a84de04295b39f23032bd1ae94e2b 100644 (file)
--- a/src/threads/switch.S
+++ b/src/threads/switch.S
@@ -1,4 +1,4 @@
-#include "switch.h"
+#include "threads/switch.h"
 
 #### struct thread *switch_threads (struct thread *cur, struct thread *next);
 ####