X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fcreate-empty.c;h=4c4ffa3f42a933126d4800c5d091d744ed86dea6;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=3c4c0bd0fffc476cb3d30934ed1e3fe5c1c3a0db;hpb=ee9ccd109404a2876823c1f2dd2c2e4034a48b43;p=pintos-anon

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