diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2024-05-13 17:02:08 +0200 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2024-05-13 17:02:08 +0200 |
| commit | f1aa040ef69160018c25b7db54e05111546af21b (patch) | |
| tree | 0d87203d6c8bf09ee30703703e37858f8e867b18 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 490994f9fb3e346b455d5a4fd890474538cfe885 (diff) | |
| download | rust-f1aa040ef69160018c25b7db54e05111546af21b.tar.gz rust-f1aa040ef69160018c25b7db54e05111546af21b.zip | |
`parse_macro_expansion_error` almost never contains values so `Option` it
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions