X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=grading%2Fvm%2Fmmap-unmap.c;h=2ab3eeab1cf6d7ec757e74596a9db3a9cf65d230;hb=1d50ca8650fb96c13add16ef5659cc7aa6d4ab4b;hp=fcdff70776af8151ebc3966e9fe81e74ca211ef8;hpb=e23c0d5dc156a42b3f5169cbac692cfc4fb6394d;p=pintos-anon

diff --git a/grading/vm/mmap-unmap.c b/grading/vm/mmap-unmap.c
index fcdff70..2ab3eea 100644
--- a/grading/vm/mmap-unmap.c
+++ b/grading/vm/mmap-unmap.c
@@ -31,7 +31,7 @@ main (void)
 
   munmap (ACTUAL, strlen (sample));
 
-  printf ("(mmap-unmap) fail: unmapped memory is readable (%d)\n",
+  printf ("(mmap-unmap) FAIL: unmapped memory is readable (%d)\n",
           *(int *) ACTUAL);
   
   /* Done. */