diff options
| author | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-04-20 19:07:57 +0000 |
|---|---|---|
| committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-04-20 19:07:57 +0000 |
| commit | 7cfecf26f77f0d2c3d83be946d4da6ab997c939e (patch) | |
| tree | 839a73c27bdb899399b7c73a7287d2bfb7853d8e /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 96905d568a6f1db806d43047a6392c5e2766009e (diff) | |
| download | rust-7cfecf26f77f0d2c3d83be946d4da6ab997c939e.tar.gz rust-7cfecf26f77f0d2c3d83be946d4da6ab997c939e.zip | |
Remove confusing comment
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions