diff options
| author | Michael Howell <michael@notriddle.com> | 2022-12-06 08:42:30 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-01-20 14:53:34 -0700 |
| commit | dca160a06a85cfe6d961a586543112e772e55b13 (patch) | |
| tree | 6b3f24655c17940dd79be08ce1106899a042602a /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | e237690a28f0d38ab478616fe4b247fb6eb8013f (diff) | |
| download | rust-dca160a06a85cfe6d961a586543112e772e55b13.tar.gz rust-dca160a06a85cfe6d961a586543112e772e55b13.zip | |
diagnostics: use `module_path` to check crate import instead of strings
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions