Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / vm / pt-write-code.c

diff --git a/grading/vm/pt-write-code.c b/grading/vm/pt-write-code.c
index 6954ddf6868a9bdf5c3fc1731cc3d89c26dc4133..a661c15ec33dc5377c0bb1ba5d0f83680113872d 100644 (file)
--- 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;
 }