Discourage combining student contributions late.

[pintos-anon] / grading / vm / pt-bad-addr.c

diff --git a/grading/vm/pt-bad-addr.c b/grading/vm/pt-bad-addr.c
index 6d66587ddce5a650b3cca9cbec7ba552ed7126ad..96a54ee92f15bba7f848f97da31280504543e999 100644 (file)
--- 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;
 }