diff options
| author | Pierre-Marie Pédrot | 2016-02-03 10:26:28 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-02-03 10:37:46 +0100 |
| commit | 7eeec8f82d96a71929289b0b9401a1b96e1d3dda (patch) | |
| tree | 147be9fcf35444c112ff392c7160d81d40b3c8a0 /kernel/nativecode.ml | |
| parent | 22a2cc1897f0d9f568ebfb807673e84f6ada491a (diff) | |
More compact representation for evar resolvability flag.
This patch was proposed by JH in bug report #4547.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions