commit | 72dabf4f1693d23da3bfa972cb3c9a149372e4f4 | [log] [tgz] |
---|---|---|
author | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Apr 20 21:13:03 2015 +0000 |
committer | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Apr 20 21:13:03 2015 +0000 |
tree | daa953c10fc2c909e2dba41c79e4632c8a34a854 | |
parent | 9c120ae69abbc7cc57422ae9d973129c4d053099 [diff] |
Use the proper function. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15118 a5019735-40e9-0310-863c-91ae7b9d1cf9