X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Flib.c;h=91fb318f2c8ebaf5898019c32f1b802e1d429147;hb=f6580e9ad405b519dbe85027691bf3c66074b0a4;hp=8fe516194ff0b89cef848b4eb0b551f4be005f2d;hpb=8f4fbcd0dcca3f7f9da7ab76136bef09a0a810a6;p=pintos-anon

diff --git a/src/lib/lib.c b/src/lib/lib.c
index 8fe5161..91fb318 100644
--- a/src/lib/lib.c
+++ b/src/lib/lib.c
@@ -1,12 +1,12 @@
+#include "lib.h"
 #include <stdint.h>
 #include <stdarg.h>
 #include <stdbool.h>
 #include <stddef.h>
 #include "debug.h"
-#include "interrupt.h"
-#include "lib.h"
-#include "serial.h"
-#include "vga.h"
+#include "devices/serial.h"
+#include "devices/vga.h"
+#include "threads/interrupt.h"
 
 static void
 vprintf_core (const char *format, va_list args,