X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fchild-linear.c;h=4fa58b40eb77396cfab1225e6f08436bff5c97d7;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=e0cf2f157cc518548c3e08c29e80b4e8d5f9b17c;hpb=e23c0d5dc156a42b3f5169cbac692cfc4fb6394d;p=pintos-anon

diff --git a/grading/vm/child-linear.c b/grading/vm/child-linear.c
index e0cf2f1..4fa58b4 100644
--- a/grading/vm/child-linear.c
+++ b/grading/vm/child-linear.c
@@ -1,6 +1,6 @@
 #include <stdio.h>
 #include <string.h>
-#include "arc4.h"
+#include "../lib/arc4.h"
 
 #define SIZE (128 * 1024)