X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Ftimer.c;fp=src%2Fdevices%2Ftimer.c;h=85bc3ee33d3345fa519f6d3cbd80c1011aee01e1;hb=f6580e9ad405b519dbe85027691bf3c66074b0a4;hp=d23bed3efb043618feb465a4259c85c8f77e5868;hpb=2324ca7dd99fe1787ff4eac42f73d491eb2b9f36;p=pintos-anon

diff --git a/src/devices/timer.c b/src/devices/timer.c
index d23bed3..85bc3ee 100644
--- 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