X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-unmap.c;h=2ab3eeab1cf6d7ec757e74596a9db3a9cf65d230;hb=4a78889ac2a99d515119aa599d640fc81e9ba833;hp=fcdff70776af8151ebc3966e9fe81e74ca211ef8;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;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. */