X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fchild-linear.c;h=4fa58b40eb77396cfab1225e6f08436bff5c97d7;hb=ec4c70597de001011d1620268774296a14e23442;hp=e0cf2f157cc518548c3e08c29e80b4e8d5f9b17c;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;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)