X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-close.c;h=901b34d26d09d11552e0881ecad91320932988f3;hb=dc17c571d79b596194b88c50d5113e4a1b2f2238;hp=54668b86df4b8c600a806729d369ed87da8074de;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;p=pintos-anon

diff --git a/grading/vm/mmap-close.c b/grading/vm/mmap-close.c
index 54668b8..901b34d 100644
--- a/grading/vm/mmap-close.c
+++ b/grading/vm/mmap-close.c
@@ -1,6 +1,6 @@
 #include <stdio.h>
 #include <string.h>
-#include "arc4.h"
+#include "../lib/arc4.h"
 #include "sample.inc"
 #ifdef PINTOS
 #include <syscall.h>