diff options
| author | Yechan Bae <yechan@gatech.edu> | 2021-10-12 16:01:58 -0400 |
|---|---|---|
| committer | Yechan Bae <yechan@gatech.edu> | 2021-10-12 16:02:13 -0400 |
| commit | 4ed3a4fe2f681660cac9a4fad6385c6d92a89de1 (patch) | |
| tree | 51588139cddbdc5fe4432afda73395daaf3d5ef0 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 03fed75c89880e5ed919eec1ba93dbe769d463a2 (diff) | |
| download | rust-4ed3a4fe2f681660cac9a4fad6385c6d92a89de1.tar.gz rust-4ed3a4fe2f681660cac9a4fad6385c6d92a89de1.zip | |
Update lint description for new() and default()
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions