tree f5315097cc4bc8389a08652281c12fbad7cf10a3
parent b26101c4d128f0bfed780434c4e4f8d67f8aeee4
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1439108214 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1439108214 +0000

Fix build breakage introduced in r15510.


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