diff options
| author | Preston From <prestonfrom@gmail.com> | 2022-07-28 00:10:19 -0600 |
|---|---|---|
| committer | Preston From <prestonfrom@gmail.com> | 2022-07-28 00:10:19 -0600 |
| commit | 1b2e05e212f9e2d50fb35817a80136018fbea4ba (patch) | |
| tree | 3b453e9a13a0305225e1bde89302e7255d24f5ae /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 1a08b1704472320e8b1c03c0cf8cd9d4958343e0 (diff) | |
| download | rust-1b2e05e212f9e2d50fb35817a80136018fbea4ba.tar.gz rust-1b2e05e212f9e2d50fb35817a80136018fbea4ba.zip | |
Use more idiomatic rust, comment for lint logic
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions