about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorYoshitomo Nakanishi <yurayura.rounin.3@gmail.com>2021-02-20 22:52:56 +0900
committerYoshitomo Nakanishi <yurayura.rounin.3@gmail.com>2021-02-21 05:05:11 +0900
commitd23038944a0ab7aaf8566196f9680b918f7ec155 (patch)
tree21bd04f451b72cf97e39d970dcbcf7689c924cb6 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parent67087a1b4ee06ce42fd8abe5825f9af96a41e83d (diff)
downloadrust-d23038944a0ab7aaf8566196f9680b918f7ec155.tar.gz
rust-d23038944a0ab7aaf8566196f9680b918f7ec155.zip
New lint: inconsistent_struct_constructor
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions