From 7088b2d4981496d5a2acf24566f486219237ef99 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 17 Oct 2019 18:08:36 +0200 Subject: feat: Use SSE2_MATH if available & Die if missing on x87 Co-authored-by: Pierre Roux --- kernel/float64.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kernel/float64.ml') 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." -- cgit v1.2.3