diff options
| author | Hamir Mahal <hamirmahal@gmail.com> | 2024-05-30 16:18:49 -0700 |
|---|---|---|
| committer | Hamir Mahal <hamirmahal@gmail.com> | 2024-05-30 16:18:49 -0700 |
| commit | e3d09394c28c386c1f6eef1175dc5238b99af20f (patch) | |
| tree | ba8427fe2dd0c1d5b6fe56c83989d04627d56bc1 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | c1b051602ce2f6844fd703cad0146ed5ea8185e6 (diff) | |
| download | rust-e3d09394c28c386c1f6eef1175dc5238b99af20f.tar.gz rust-e3d09394c28c386c1f6eef1175dc5238b99af20f.zip | |
style: simplify string interpolation
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions