diff options
| author | bjorn3 <bjorn3@users.noreply.github.com> | 2021-07-06 18:56:01 +0200 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-05-11 14:35:09 +0000 |
| commit | 2be697f60d53fe321a74fb99d3cde452a94eb3da (patch) | |
| tree | 980e38830ffe6642d999b6b03c94ee9045f0a4b4 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | c50427ba86aadcbec86bf9b35f0c32ee818c7705 (diff) | |
| download | rust-2be697f60d53fe321a74fb99d3cde452a94eb3da.tar.gz rust-2be697f60d53fe321a74fb99d3cde452a94eb3da.zip | |
Use global_fn_name instead of format!
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions