tree b7b61e4f58d4774e380d247a4526afb529ade42b
parent bc25198e4c8327ab59a88770bd56f436f30bc384
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1410859692 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1410859692 +0000

Fix incorrect use of VG_(tool_panic). Adapt checker script accordingly.


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