diff options
| author | BenjaminBrienen <Benjamin.Brienen@outlook.com> | 2025-04-04 15:49:50 +0200 |
|---|---|---|
| committer | BenjaminBrienen <Benjamin.Brienen@outlook.com> | 2025-04-04 15:49:50 +0200 |
| commit | 9a43f02a00e8ae4574a7bd6b1bc11b044a0826f5 (patch) | |
| tree | 88a2267d7d6adbdc3d542b56a08eb238b4d8927e /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 9c5cdfe30addd2aa583dd1357645daf8bc6cbd60 (diff) | |
| download | rust-9a43f02a00e8ae4574a7bd6b1bc11b044a0826f5.tar.gz rust-9a43f02a00e8ae4574a7bd6b1bc11b044a0826f5.zip | |
prefer default over new
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions