Update to match printf() fix.

[pintos-anon] / grading / userprog / args-argvn.exp

diff --git a/grading/userprog/args-argvn.exp b/grading/userprog/args-argvn.exp
index 719173dd8933d4d3f853ce08b673c926eab1f069..46cee0098fc84c086a692b2a5f973f92e8e8d01d 100644 (file)
--- a/grading/userprog/args-argvn.exp
+++ b/grading/userprog/args-argvn.exp
@@ -1,2 +1,2 @@
-(args-argvn) argv[argc] = 0x0
+(args-argvn) argv[argc] = 0
 args-argvn: exit(0)