diff options
| author | roife <roifewu@gmail.com> | 2024-06-10 22:52:29 +0800 |
|---|---|---|
| committer | roife <roifewu@gmail.com> | 2024-06-10 23:15:26 +0800 |
| commit | 5aa613747046d9c6b044db354bb84c53cbf9f278 (patch) | |
| tree | d2887c938cd528a00b4cd23c767ea6b16ce31e4a /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 0ef2213ed8dd1972ac47f42915468ca164db5156 (diff) | |
| download | rust-5aa613747046d9c6b044db354bb84c53cbf9f278.tar.gz rust-5aa613747046d9c6b044db354bb84c53cbf9f278.zip | |
fix: ensure that the parent of a SourceRoot cannot be itself
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions