diff options
| author | Wilfred Hughes <wilfred@meta.com> | 2024-02-13 14:29:20 -0800 |
|---|---|---|
| committer | Wilfred Hughes <wilfred@meta.com> | 2024-02-13 14:29:20 -0800 |
| commit | 931f563a8920ce329dee285f96ed9ea2335beb74 (patch) | |
| tree | 783ac635c6a676cae3e61771970fa7d7d086297f /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | c48f145535db82a166f516847cb1f67d2ade6745 (diff) | |
| download | rust-931f563a8920ce329dee285f96ed9ea2335beb74.tar.gz rust-931f563a8920ce329dee285f96ed9ea2335beb74.zip | |
Update JsonProject to include optional fields
These were documented in #15014 in the manual, but this definition wasn't updated to match.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions