Put "abort" in "User process abort" in all caps, analogous to "Kernel

[pintos-anon] / src / lib / user / debug.c

diff --git a/src/lib/user/debug.c b/src/lib/user/debug.c
index 6b71fc6ab3c127fd6dfa15d6a42884dac6983cd8..f49b8749bd0fae9336fca588f0044d8ebeac6374 100644 (file)
--- a/src/lib/user/debug.c
+++ b/src/lib/user/debug.c
@@ -12,7 +12,7 @@ debug_panic (const char *file, int line, const char *function,
 {
   va_list args;
 
-  printf ("User process abort at %s:%d in %s(): ", file, line, function);
+  printf ("User process ABORT at %s:%d in %s(): ", file, line, function);
 
   va_start (args, message);
   vprintf (message, args);