diff options
| author | Robert Norton | 2017-01-26 15:35:37 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-26 15:35:37 +0000 |
| commit | 5abf3ae1be4eb936ff1d3291d2998fac1c746c3a (patch) | |
| tree | 1223280a4d13617ddde6612b2cf500faebe04482 /language/l2_parse.ml | |
| parent | 556876bc68e614d530f4ea9ed737af200f13cdd3 (diff) | |
fix incorrect constant in calculation of representable boundary (should be B - 2**12)
Diffstat (limited to 'language/l2_parse.ml')
0 files changed, 0 insertions, 0 deletions