diff options
| author | Count Count <countvoncount123456@gmail.com> | 2021-03-24 10:06:31 +0100 |
|---|---|---|
| committer | Count Count <countvoncount123456@gmail.com> | 2021-03-24 10:06:31 +0100 |
| commit | 34cfe383e5ecdea538582bd08736a80f555c0adc (patch) | |
| tree | cb466410ef6466a149f93bb31ff400245cf05712 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | fb1fa97fdcad00785cece5fbd9d42157c253e976 (diff) | |
| download | rust-34cfe383e5ecdea538582bd08736a80f555c0adc.tar.gz rust-34cfe383e5ecdea538582bd08736a80f555c0adc.zip | |
correct comment
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions