diff options
| author | Yotam Ofek <yotam.ofek@gmail.com> | 2025-09-23 00:34:05 +0300 |
|---|---|---|
| committer | Yotam Ofek <yotam.ofek@gmail.com> | 2025-09-23 17:29:30 +0300 |
| commit | 58c7505d868515eb55971cf1ad8744c81d5ea7d2 (patch) | |
| tree | 7e3d4834268ffb0726e2444916046bb16c6205ea /src/tools/miri/genmc-sys/src_cpp | |
| parent | 40560823602064f4c726aea3e15e104449e1a392 (diff) | |
Make `render_example_with_highlighting` return an `impl fmt::Display`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions