diff options
| author | Takayuki Maeda <takoyaki0316@gmail.com> | 2023-02-27 14:27:13 +0900 |
|---|---|---|
| committer | Takayuki Maeda <takoyaki0316@gmail.com> | 2023-02-27 14:27:13 +0900 |
| commit | 934c8c2299ec4b0b299ee5b018db875eba1f9e7d (patch) | |
| tree | e79460a25bd6c333a734aa464aa68c1f000bac49 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 58136ffa92c81ec9e6ac1f91773254914da2ca01 (diff) | |
| download | rust-934c8c2299ec4b0b299ee5b018db875eba1f9e7d.tar.gz rust-934c8c2299ec4b0b299ee5b018db875eba1f9e7d.zip | |
avoid `&str` to `String` conversions
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions