X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-grow-stack.c;h=596285a68977f9b911e0e4a82c72927d5fe479f1;hb=e2c7fa52b1352b6fe736050e30c3a9a9ad633307;hp=805db98c5beae854b53beea1212b51464a77946d;hpb=c49ca891e62eb091e3c923a77bf2ea907d73220f;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)