X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-big-stk-obj.c;h=3198c7cea18d597c1e321bd0b220054fd97b4654;hb=58a1b6fe4dda6624ca7c4a4ac80bd894446e0939;hp=70f5d79ba46f4b7e68a4c91ab91feb6a45610e49;hpb=c49ca891e62eb091e3c923a77bf2ea907d73220f;p=pintos-anon

diff --git a/grading/vm/pt-big-stk-obj.c b/grading/vm/pt-big-stk-obj.c
index 70f5d79..3198c7c 100644
--- a/grading/vm/pt-big-stk-obj.c
+++ b/grading/vm/pt-big-stk-obj.c
@@ -1,7 +1,7 @@
 #include <stdio.h>
 #include <string.h>
-#include "arc4.h"
-#include "cksum.h"
+#include "../lib/arc4.h"
+#include "../lib/cksum.h"
 
 int
 main (void)