diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-01-19 12:26:27 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-01-19 12:26:27 +0100 |
| commit | 1d7707287403dbed30c9a672cbb8b5af9129fe44 (patch) | |
| tree | 5e4363f1a6e023e223441d99064ff50fbc5b54dc /executor/executor.cc | |
| parent | 9c277c79744a9cb6dd9174fccbde52b65803530f (diff) | |
prog: don't cache static priorities
This is not computed very frequently, but wastes memory.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions