Redo makefiles.

[pintos-anon] / src / threads / mmu.h

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 4a32b7369681015dc984955610005d4c10476ad7..7e68b29481442dbb399c2559917f14ff41b6cdcb 100644 (file)
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -3,7 +3,7 @@
 
 #ifndef __ASSEMBLER__
 #include <stdint.h>
-#include "debug.h"
+#include "lib/debug.h"
 #endif
 
 #include "loader.h"