diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2020-06-22 08:33:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-22 10:33:46 -0500 |
| commit | 4bd54ef0cc862ae8736c97ecca07f80ab31396df (patch) | |
| tree | af6a32ce9135f158a5246683eab608ea3ec1b8ef /test | |
| parent | 3bc4a541b6c3a35fae987cc068e0e01937d5c4b1 (diff) | |
fix (#4637)
The help message of --bv-print-consts-as-indexed-symbols seems wrong to me, and this PR suggests a fix.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions