Redo makefiles.

[pintos-anon] / src / devices / timer.c

diff --git a/src/devices/timer.c b/src/devices/timer.c
index d23bed3efb043618feb465a4259c85c8f77e5868..85bc3ee33d3345fa519f6d3cbd80c1011aee01e1 100644 (file)
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -1,7 +1,7 @@
 #include "timer.h"
-#include "debug.h"
-#include "interrupt.h"
-#include "io.h"
+#include "lib/debug.h"
+#include "threads/interrupt.h"
+#include "threads/io.h"
   
 #if TIMER_FREQ < 19
 #error 8254 timer requires TIMER_FREQ >= 19