tree c4d9c104778c2769a0a535320ddc4f5073049164
parent 62a784c9382fdf7184065ad76ae8d3b905605f21
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1234703812 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1234703812 +0000

Changed a global variable into a local variable.

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