X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-write-code.c;h=a661c15ec33dc5377c0bb1ba5d0f83680113872d;hb=7c208e08656f35fb204ba9ad24e462b77874e544;hp=6954ddf6868a9bdf5c3fc1731cc3d89c26dc4133;hpb=c49ca891e62eb091e3c923a77bf2ea907d73220f;p=pintos-anon

diff --git a/grading/vm/pt-write-code.c b/grading/vm/pt-write-code.c
index 6954ddf..a661c15 100644
--- a/grading/vm/pt-write-code.c
+++ b/grading/vm/pt-write-code.c
@@ -5,6 +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) end\n");
   return 0;
 }