X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-close.c;h=901b34d26d09d11552e0881ecad91320932988f3;hb=179b9174016c876790bc5e22677cc9d18501a4bc;hp=54668b86df4b8c600a806729d369ed87da8074de;hpb=e23c0d5dc156a42b3f5169cbac692cfc4fb6394d;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>