X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-write-code.c;h=a661c15ec33dc5377c0bb1ba5d0f83680113872d;hb=e2c7fa52b1352b6fe736050e30c3a9a9ad633307;hp=1b9b4a8f99f9721941d29711a993be4da7a01c04;hpb=75efee76500d95f53adf73e178b4a9872d93f131;p=pintos-anon

diff --git a/grading/vm/pt-write-code.c b/grading/vm/pt-write-code.c
index 1b9b4a8..a661c15 100644
--- a/grading/vm/pt-write-code.c
+++ b/grading/vm/pt-write-code.c
@@ -5,7 +5,7 @@ main (void)
 {
   printf ("(pt-write-code) begin\n");
   *(int *) main = 0;
-  printf ("(pt-write code) fail: writing the code segment succeeded\n");
+  printf ("(pt-write code) FAIL: writing the code segment succeeded\n");
   printf ("(pt-write-code) end\n");
   return 0;
 }