X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-bad-addr.c;h=96a54ee92f15bba7f848f97da31280504543e999;hb=44effc6c9d8039df90154f2fed045ff2e96800da;hp=6d66587ddce5a650b3cca9cbec7ba552ed7126ad;hpb=6399b258873072cdb546dff84c37e735cda25ac7;p=pintos-anon

diff --git a/grading/vm/pt-bad-addr.c b/grading/vm/pt-bad-addr.c
index 6d66587..96a54ee 100644
--- a/grading/vm/pt-bad-addr.c
+++ b/grading/vm/pt-bad-addr.c
@@ -4,7 +4,7 @@ int
 main (void) 
 {
   printf ("(pt-bad-addr) begin\n");
-  printf ("(pt-bad-addr) addr=%d\n", *(int *) 0x04000000);
+  printf ("(pt-bad-addr) FAIL: bad addr read as %d\n", *(int *) 0x04000000);
   printf ("(pt-bad-addr) end\n");
   return 0;
 }