diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-23 14:00:41 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-23 14:00:41 +0100 |
| commit | 5c1e02070621f89371ac87c68e0083893a9f9461 (patch) | |
| tree | 66c5b95a34d6f830cdf6b021920a2a2acb781a33 /executor/executor.h | |
| parent | 7a7c747c6f5f732d614cea2404386913e68981a0 (diff) | |
pkg/compiler: prohibit len of other union options
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions
