diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-05-16 17:54:30 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-05-16 16:34:04 +0000 |
| commit | c2e0726105cc811a456d900c62443159acc29c32 (patch) | |
| tree | ba442735151dd21102a9395d55219c2ea876647d /executor/_include/flatbuffers/table.h | |
| parent | ad5321c6e31dd6b723935e195830789efdda12c5 (diff) | |
pkg/fuzzer/queue: simplify the priority queue
We don't need the full priority queue functionality anymore. For our
purposes it's enough to only enforce the order between the elements of
different sub-queues.
Diffstat (limited to 'executor/_include/flatbuffers/table.h')
0 files changed, 0 insertions, 0 deletions