diff options
| author | Mateusz Mikuła <oss@mateuszmikula.dev> | 2025-04-27 13:10:06 +0200 |
|---|---|---|
| committer | Mateusz Mikuła <oss@mateuszmikula.dev> | 2025-05-31 15:58:43 +0200 |
| commit | 98961cd3da999cda30a1ab6c751bc9cf0a6cb6b3 (patch) | |
| tree | a9515d910f5cb5afa2fb3f737e2dad8992ef6647 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | e0d014a3dffbb3f0575cfbeb0f480c5080c4d018 (diff) | |
| download | rust-98961cd3da999cda30a1ab6c751bc9cf0a6cb6b3.tar.gz rust-98961cd3da999cda30a1ab6c751bc9cf0a6cb6b3.zip | |
Fix incorrect comment
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions