tree d8d1001a3d4a1db5c75a8ce5be996d62ad55fa3d
parent 28d6815ef1257d33f370d92991d9a0088b718241
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1344030611 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1344030611 +0000

Simplify.


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