tree efdd048909966f37ff7b1799c3a8c27c2f46c802
parent 2fa8a5f811144bcf23a1445c30087dfced107ff4
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1413831758 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1413831758 +0000

Constify the tool interface.


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