X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fcreate-null.c;h=eafcb4029d08d45bd9d130b3e48c1fc1b87e872b;hb=47868ce911e401077a0afb2f26f12685ff53a706;hp=e19d218b02562d7b10f9ea7dc8d36485205fa762;hpb=ee9ccd109404a2876823c1f2dd2c2e4034a48b43;p=pintos-anon

diff --git a/grading/userprog/create-null.c b/grading/userprog/create-null.c
index e19d218..eafcb40 100644
--- a/grading/userprog/create-null.c
+++ b/grading/userprog/create-null.c
@@ -4,8 +4,8 @@
 int
 main (void) 
 {
-  printf ("create(null): ");
-  printf ("%d\n", create (NULL, 0));
-  printf ("survived\n");
+  printf ("(create-null) begin\n");
+  create (NULL, 0);
+  printf ("(create-null) end\n");
   return 0;
 }