tree b3a9a231d8219cc83249227ab1232bfc0ee18719
parent 38db72f4e7f69d6c5f9b462f9621892e7f21ca43
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1319126811 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1319126811 +0000

Remove filter_int because not used anywhere

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