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

diff --git a/grading/vm/child-linear.c b/grading/vm/child-linear.c
index 1b22b49..e0cf2f1 100644
--- a/grading/vm/child-linear.c
+++ b/grading/vm/child-linear.c
@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include <string.h>
 #include "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. */