diff options
| author | Erik Martin-Dorel | 2019-10-17 18:08:36 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:21:39 +0100 |
| commit | 7088b2d4981496d5a2acf24566f486219237ef99 (patch) | |
| tree | bab6a503f5eaa94d2c24811f66d212f3f78b2740 /kernel | |
| parent | d39fab9a7c39d8da868c4481b96cf1086c21b1a4 (diff) | |
feat: Use SSE2_MATH if available & Die if missing on x87
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/float64.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/float64.ml b/kernel/float64.ml index 07fb25734b..c08069f3e3 100644 --- a/kernel/float64.ml +++ b/kernel/float64.ml @@ -155,6 +155,6 @@ let () = let b = ldexp 1. 53 in let s = add 1. (ldexp 1. (-52)) in if add b s <= b || add b 1. <> b then - failwith "Detected double rounding due to the use of intermediate \ - 80 bits floating-point representation. Use of Float is \ + failwith "Detected double-rounding due to the use of intermediate \ + 80-bit floating-point representation. Use of Float is \ thus unsafe." |