commit | 424385e9a37ece59a49c102d65c043b58b260469 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Sep 01 21:25:03 2014 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Sep 01 21:25:03 2014 +0000 |
tree | e4a17dbd12eddcc7d27313507bfe711222a6dd51 | |
parent | ed12bf2b073b1681265e956b7727553f904e5a54 [diff] |
Add a missing VKI_ prefix. No functional change. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14417 a5019735-40e9-0310-863c-91ae7b9d1cf9