From e4f85cdef39e3a735d0dc9e55b8f7a882f173e32 Mon Sep 17 00:00:00 2001
From: hniksic <devnull@localhost>
Date: Mon, 4 Jul 2005 14:15:50 -0700
Subject: [PATCH] [svn] Prefix pointer value with 0x.

---
 src/ChangeLog | 5 +++++
 src/xmalloc.c | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/ChangeLog b/src/ChangeLog
index f0289332..52ebd6f9 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2005-07-04  Hrvoje Niksic  <hniksic@xemacs.org>
+
+	* xmalloc.c (debugging_free): Prefix hex pointer value with "0x"
+	when printing.
+
 2005-07-04  Hrvoje Niksic  <hniksic@xemacs.org>
 
 	* utils.c (NEXT_BASE64_CHAR): Rename to NEXT_CHAR and simplify to
diff --git a/src/xmalloc.c b/src/xmalloc.c
index bf4b9a3e..4368faae 100644
--- a/src/xmalloc.c
+++ b/src/xmalloc.c
@@ -357,7 +357,7 @@ debugging_free (void *ptr, const char *source_file, int source_line)
     }
   if (!unregister_ptr (ptr))
     {
-      fprintf (stderr, "%s: bad xfree(%0*lx) at %s:%d\n",
+      fprintf (stderr, "%s: bad xfree(0x%0*lx) at %s:%d\n",
 	       exec_name, PTR_FORMAT (ptr), source_file, source_line);
       abort ();
     }