X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fcreate-normal.c;h=e2646b22f30fcfb3d849a060592bd73eebbbf53e;hb=6dca07ec0e8cde38f64f0c9f543b8e52ba169e94;hp=b483c9dfad7e827ee8563fdfbe41d83dab8ae852;hpb=ee9ccd109404a2876823c1f2dd2c2e4034a48b43;p=pintos-anon

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