X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-merge-seq.c;h=f7ac14c09a0812989e77b809a3b2af49ee3d4e2c;hb=51fe56156dc541c9fa74e0eb72e7cca1ddcec685;hp=306910d964875cea97cb882401bd8c3f9a1516d7;hpb=75efee76500d95f53adf73e178b4a9872d93f131;p=pintos-anon

diff --git a/grading/vm/page-merge-seq.c b/grading/vm/page-merge-seq.c
index 306910d..f7ac14c 100644
--- a/grading/vm/page-merge-seq.c
+++ b/grading/vm/page-merge-seq.c
@@ -5,7 +5,7 @@
 #else
 #include "posix-compat.h"
 #endif
-#include "arc4.h"
+#include "../lib/arc4.h"
 
 #define CHUNK_SIZE (63 * 1024)                  /* Max file size. */
 #define CHUNK_CNT 16                            /* Number of chunks. */