resolve_redir(): when a redirect is resolved, if the source has
already been translated, discard that translation.  Otherwise the
redirect will never take effect.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2141 a5019735-40e9-0310-863c-91ae7b9d1cf9
1 file changed