X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-write-code.c;h=1b9b4a8f99f9721941d29711a993be4da7a01c04;hb=892590a6b5883b307fe6b3c15c91a9c1d9c014db;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..1b9b4a8 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;
 }