tree eee55630ed76b57e973aa660eb35e7bb3579c007
parent 5f57be90d2e42dff4588ea099a78c64d72ffa19e
author weidendo <weidendo@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1214904921 +0000
committer weidendo <weidendo@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1214904921 +0000

Fix typo found by Bart


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