X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Fvm%2Fpage-linear.c;h=18ba30c14741420c726ab7a3b372ac027cfb0a2b;hb=546d8bf36bae548643722e1f5d55fd0fcc1c4262;hp=00ffb177cbcdca5c04d2eb9f153c3af7d4413c1a;hpb=6399b258873072cdb546dff84c37e735cda25ac7;p=pintos-anon

diff --git a/grading/vm/page-linear.c b/grading/vm/page-linear.c
index 00ffb17..18ba30c 100644
--- a/grading/vm/page-linear.c
+++ b/grading/vm/page-linear.c
@@ -1,5 +1,5 @@
 #include <stdio.h>
-#include "arc4.h"
+#include "../lib/arc4.h"
 
 #define SIZE (128 * 1024)