X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Floader.S;fp=src%2Fthreads%2Floader.S;h=9e2f37716a8da3ff48489e707b6e88ce47a21ee0;hb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;hp=feb35ae2a79fd8f410501e1e71f50e42981ccbe0;hpb=dca7bfbc436c5305ef8f0df6fbe1faba89a0012e;p=pintos-anon

diff --git a/src/threads/loader.S b/src/threads/loader.S
index feb35ae..9e2f377 100644
--- a/src/threads/loader.S
+++ b/src/threads/loader.S
@@ -38,8 +38,8 @@
  * the copyright notices, if any, listed below.
  */
 
-#include "loader.h"
-#include "mmu.h"
+#include "threads/loader.h"
+#include "threads/mmu.h"
 	
 ##############################################################################
 # Kernel loader.