diff options
| author | Bastian Kersting <bastian@cmbt.de> | 2021-02-06 17:06:06 +0100 |
|---|---|---|
| committer | Bastian Kersting <bastian@cmbt.de> | 2021-02-06 17:06:06 +0100 |
| commit | f1c15840a2bbd953414a650d24ee22d3a1c710f5 (patch) | |
| tree | 72c5fb0c28458e46ddbe54d64dfb78ea92f52dcb /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 85c2b1e5f4cbe7d31ebbaf6b9620350020251c15 (diff) | |
| download | rust-f1c15840a2bbd953414a650d24ee22d3a1c710f5.tar.gz rust-f1c15840a2bbd953414a650d24ee22d3a1c710f5.zip | |
Changed lint level to `restriction`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions