tree c71ce97cb659b2366ec09e2aa04508a34a80f579
parent 28ae1990bf6b1e34e79fe33ae94f2ee669835515
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1393075455 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1393075455 +0000

Avoid "let" which isn't portable. 


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