X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Fvm%2Fchild-linear.c;h=4fa58b40eb77396cfab1225e6f08436bff5c97d7;hb=4aeb9609c112151614e95acc08e2a088a86fe8f4;hp=1b22b49a41c7349058f7fc0f6f6fb34beedaa3a4;hpb=6399b258873072cdb546dff84c37e735cda25ac7;p=pintos-anon

diff --git a/grading/vm/child-linear.c b/grading/vm/child-linear.c
index 1b22b49..4fa58b4 100644
--- a/grading/vm/child-linear.c
+++ b/grading/vm/child-linear.c
@@ -1,5 +1,6 @@
 #include <stdio.h>
-#include "arc4.h"
+#include <string.h>
+#include "../lib/arc4.h"
 
 #define SIZE (128 * 1024)
 
@@ -17,7 +18,7 @@ main (int argc, char *argv[])
   arc4_crypt (&arc4, buf, SIZE);
 
   /* Decrypt back to zeros. */
-  arc4_init (&arc4, key, strlen (key)));
+  arc4_init (&arc4, key, strlen (key));
   arc4_crypt (&arc4, buf, SIZE);
 
   /* Check that it's all zeros. */