about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorYotam Ofek <yotam.ofek@gmail.com>2025-03-06 07:59:11 +0000
committerYotam Ofek <yotam.ofek@gmail.com>2025-03-06 08:16:28 +0000
commitfde37335aab7df1f9fcdfb0f5079ba76e56d7fe1 (patch)
tree1307fcc46e9f46914e7eed02451f9d82640498c5 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parent4559163ccb500affc424fb9228dae5003672ffc7 (diff)
downloadrust-fde37335aab7df1f9fcdfb0f5079ba76e56d7fe1.tar.gz
rust-fde37335aab7df1f9fcdfb0f5079ba76e56d7fe1.zip
`librustdoc`: flatten nested ifs
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions