Fix warning.

[pintos-anon] / solutions / p4.patch

diff --git a/solutions/p4.patch b/solutions/p4.patch
index 82a51e17a4e8811bf1ef322cee0c2ce3e145b9e4..057d0a79165e3606a018459d6ffad0bdd19c6a80 100644 (file)
--- a/solutions/p4.patch
+++ b/solutions/p4.patch
@@ -2686,7 +2686,7 @@ diff -u src/userprog/process.c~ src/userprog/process.c
 -        *esp = PHYS_BASE;
 -      else
 -        palloc_free_page (kpage);
-+      char *uarg = upage + (karg - (char *) kpage);
++      void *uarg = upage + (karg - (char *) kpage);
 +      if (push (kpage, &ofs, &uarg, sizeof uarg) == NULL)
 +        return false;
 +      argc++;