diff options
| author | Pierre Roux | 2019-10-18 12:12:12 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:21:47 +0100 |
| commit | 0caf27d014853693836ef06b1706502070b032f6 (patch) | |
| tree | ae7ffc8f25aa8259632345f1b4cf6119be341de3 /plugins/syntax/float_syntax.ml | |
| parent | 3b1edf7cf689a54d03226072dd3b359026588e26 (diff) | |
Add a check for gradual underflows
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions