tree caf846c9dac35b365cb559819e751c500fd0230d
parent 8e10f934884869c793dbaf3700ed6bfe4b5826dc
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1425554645 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1425554645 +0000

Marginally improve debug printing.  No functional change.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14979 a5019735-40e9-0310-863c-91ae7b9d1cf9