X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-shuffle.c;h=ae2559e5010321d1d8ac0ffc959ef7405189e94e;hb=2b9737aa0756ce44b2f97ca3aa348a496c8769a9;hp=9f650998215eb866d26b1bafb4f35a16e8721499;hpb=138a698717cc15a30d0ff60cddd7bc4d21eb30a1;p=pintos-anon

diff --git a/grading/vm/page-shuffle.c b/grading/vm/page-shuffle.c
index 9f65099..ae2559e 100644
--- a/grading/vm/page-shuffle.c
+++ b/grading/vm/page-shuffle.c
@@ -1,7 +1,7 @@
 #include <stdbool.h>
 #include <stdio.h>
-#include "arc4.h"
-#include "cksum.h"
+#include "../lib/arc4.h"
+#include "../lib/cksum.h"
 
 #define SIZE (128 * 1024)