tree 8713f630a4fbffb034ad6c218028a0fa527e298b
parent 1a877fd6e438000d6e2ad2271f9eba9178652495
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1427742875 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1427742875 +0000

Un-break the build following vex r3110.  Thanks to PetarJ for the fix.


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