X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fwrite-bad-fd.c;h=5f46d6be616840a32094c3b477aea333ae6a3672;hb=538e0cc1951cc2edf253918fd83fc3c36d9a6398;hp=33df0011e5c5b356ffa49e8c7b7eea81275a46ea;hpb=51b7d74c2fce5c54cd69b630c8be035db5ff29ba;p=pintos-anon

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