diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-05-28 11:01:35 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-05-28 10:35:26 +0000 |
| commit | 34889ee3b09e7b4d381828377aa6173bfcc36cc7 (patch) | |
| tree | 85861179046c9d3126ef0403dd4cb2a44a00d03c /executor/_include/flatbuffers/buffer.h | |
| parent | f550015e921148a45f14a8ea6ac8fe1ade4907af (diff) | |
executor: fix coverfilter header size
Manager was switched to 64-bit PCs, but executor still expected
4-byte PC start in the header.
Fix it and switch size to uint64 for simplicity as well.
Diffstat (limited to 'executor/_include/flatbuffers/buffer.h')
0 files changed, 0 insertions, 0 deletions