Rename xmalloc() as malloc_or_panic(),

[pintos-anon] / grading / vm / mmap-unmap.c

diff --git a/grading/vm/mmap-unmap.c b/grading/vm/mmap-unmap.c
index fcdff70776af8151ebc3966e9fe81e74ca211ef8..2ab3eeab1cf6d7ec757e74596a9db3a9cf65d230 100644 (file)
--- 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. */