Make some changes to Nulgrind -- it looks like Jeremy made some changes to it
as part of FV, but then later these changes become unnecessary.  Anyway, it now
looks more like the other tools again.


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