X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fread-bad-fd.c;h=959687c73cae624ae62a8b9ef07768108342f68b;hb=6d3cf8bbe3dbfd60b851b7dd9f51d7f5b77fb4bf;hp=eb9700da7a69da393bd235d382a670e5840288d8;hpb=edc1683ed9dcb006cbdf2d29a970ed1f0a5b843f;p=pintos-anon

diff --git a/grading/userprog/read-bad-fd.c b/grading/userprog/read-bad-fd.c
index eb9700d..959687c 100644
--- a/grading/userprog/read-bad-fd.c
+++ b/grading/userprog/read-bad-fd.c
@@ -6,7 +6,7 @@ main (void)
 {
   char buf;
   printf ("(read-bad-fd) begin\n");
-  read (0xc0101234, &buf, 1);
+  read (0x20101234, &buf, 1);
   printf ("(read-bad-fd) end\n");
   return 0;
 }