From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 27 May 2006 20:10:32 +0000 (+0000)
Subject: Put "abort" in "User process abort" in all caps, analogous to "Kernel
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=a73846a929e431efc534f6ac60c99e914e131a4e

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

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);