X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-grow-stack.c;h=596285a68977f9b911e0e4a82c72927d5fe479f1;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=805db98c5beae854b53beea1212b51464a77946d;hpb=6399b258873072cdb546dff84c37e735cda25ac7;p=pintos-anon

diff --git a/grading/vm/pt-grow-stack.c b/grading/vm/pt-grow-stack.c
index 805db98..596285a 100644
--- a/grading/vm/pt-grow-stack.c
+++ b/grading/vm/pt-grow-stack.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)