diff options
| author | gingerBill <bill@gingerbill.org> | 2022-08-17 15:54:45 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-08-17 15:54:45 +0100 |
| commit | f504b200a9ccee250032e6ed2c1dd3d40e9c9acb (patch) | |
| tree | fe808b2d35871a13352c8736638accaa4915c2f3 /core/container/priority_queue | |
| parent | 82e840a0ca3fb547ac93e680a3dcbbb67958077f (diff) | |
Improve `unreachable` generation by putting a `trap` before it
Diffstat (limited to 'core/container/priority_queue')
0 files changed, 0 insertions, 0 deletions