Redo makefiles.

[pintos-anon] / src / lib / debug.c

diff --git a/src/lib/debug.c b/src/lib/debug.c
index 534fc02c6d9066438f04e3538bd4a09dd6c3a741..babf2298320bf0c9061487fc601d9f4f1d4820ef 100644 (file)
--- a/src/lib/debug.c
+++ b/src/lib/debug.c
@@ -1,7 +1,7 @@
 #include "debug.h"
 #include <stdarg.h>
-#include "interrupt.h"
 #include "lib.h"
+#include "threads/interrupt.h"
 
 #define MAX_CLASSES 16
 static bool all_enabled;