diff options
author | John Hodge <tpg@mutabah.net> | 2018-03-07 22:07:38 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2018-03-17 18:52:16 +0800 |
commit | 912f54efc564f1928b70349960e0eee6020242fe (patch) | |
tree | 0cac524044d9c2d6ccde629a9585fd60e39446ef /tools/standalone_miri/main.cpp | |
parent | 5118328a10bf3042f4301080cb72762ed4c0ca49 (diff) | |
download | mrust-912f54efc564f1928b70349960e0eee6020242fe.tar.gz |
VTables - Rename vtable static to have the # at the end (helps parsing in mmir)
Diffstat (limited to 'tools/standalone_miri/main.cpp')
0 files changed, 0 insertions, 0 deletions