1 files changed, 1 insertions, 1 deletions
diff --git a/.gdbinit b/.gdbinit
index 6194156dd2..5f47e25148 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -9,7 +9,7 @@ define dump_table
 	if $t[$i].val == (void *)0L
 	   printf "[%u] '%s'=>NULL\n", $i, $t[$i].key
 	else
-	   printf "[%u] '%s'='%s'\n", $i, $t[$i].key, $t[$i].val
+	   printf "[%u] '%s'='%s' [%p]\n", $i, $t[$i].key, $t[$i].val, $t[$i].val
 	end
 	set $i = $i + 1
     end