X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fkernel.lds.S;fp=src%2Fthreads%2Fkernel.lds.S;h=3b7f8b1f0e789b6414d096d73e7b522630440526;hb=b0a700d18f0a0a8c87e1a4fff3a2108e0edb0fbc;hp=ce5d23d39b38f395b9580fb3dd78c8bfbc046b6f;hpb=b82bd44f0327c6853f466fad27edc3d4707aea73;p=pintos-anon

diff --git a/src/threads/kernel.lds.S b/src/threads/kernel.lds.S
index ce5d23d..3b7f8b1 100644
--- a/src/threads/kernel.lds.S
+++ b/src/threads/kernel.lds.S
@@ -1,4 +1,4 @@
-#include "loader.h"
+#include "threads/loader.h"
 
 OUTPUT_FORMAT("elf32-i386")
 OUTPUT_ARCH("i386")