X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fdebug.c;h=f49b8749bd0fae9336fca588f0044d8ebeac6374;hb=a73846a929e431efc534f6ac60c99e914e131a4e;hp=6b71fc6ab3c127fd6dfa15d6a42884dac6983cd8;hpb=05532706c2da3ebb71acc6e94e68e4fd45b5758a;p=pintos-anon

diff --git a/src/lib/user/debug.c b/src/lib/user/debug.c
index 6b71fc6..f49b874 100644
--- 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);