From 089378ef874918cd5b4b5e699e2e4f597b17e346 Mon Sep 17 00:00:00 2001
From: christiaans <christiaans>
Date: Tue, 7 Dec 2004 08:16:27 +0000
Subject: [PATCH] christiaans: cosmetic change debug formatters as requested by
 Tom.

---
 src/core/tcp.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/tcp.c b/src/core/tcp.c
index 3f4ce641..28d7b9f4 100644
--- a/src/core/tcp.c
+++ b/src/core/tcp.c
@@ -858,7 +858,7 @@ tcp_kill_prio(u8_t prio)
     }
   }
   if (inactive != NULL) {
-    LWIP_DEBUGF(TCP_DEBUG, ("tcp_kill_prio: killing oldest PCB 0x%p (%ld)\n",
+    LWIP_DEBUGF(TCP_DEBUG, ("tcp_kill_prio: killing oldest PCB %p (%ld)\n",
            (void *)inactive, inactivity));
     tcp_abort(inactive);
   }      
@@ -880,7 +880,7 @@ tcp_kill_timewait(void)
     }
   }
   if (inactive != NULL) {
-    LWIP_DEBUGF(TCP_DEBUG, ("tcp_kill_timewait: killing oldest TIME-WAIT PCB 0x%p (%ld)\n",
+    LWIP_DEBUGF(TCP_DEBUG, ("tcp_kill_timewait: killing oldest TIME-WAIT PCB %p (%ld)\n",
            (void *)inactive, inactivity));
     tcp_abort(inactive);
   }