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=1706201f4ea8590b54a9bc58792667128bb23cf7;hb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;hp=85bc3ee33d3345fa519f6d3cbd80c1011aee01e1;hpb=dca7bfbc436c5305ef8f0df6fbe1faba89a0012e;p=pintos-anon

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 85bc3ee..1706201 100644
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -1,5 +1,5 @@
-#include "timer.h"
-#include "lib/debug.h"
+#include "devices/timer.h"
+#include <debug.h>
 #include "threads/interrupt.h"
 #include "threads/io.h"