From 04e22abe4378e29671def7b4d9c7e509c58ef6b6 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Tue, 31 Mar 2020 19:12:18 +0200
Subject: [primitive floats] Add low level hexadecimal printing

---
 plugins/syntax/float_syntax.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plugins/syntax')

diff --git a/plugins/syntax/float_syntax.ml b/plugins/syntax/float_syntax.ml
index 9861a060ab..8e87fc13ca 100644
--- a/plugins/syntax/float_syntax.ml
+++ b/plugins/syntax/float_syntax.ml
@@ -28,8 +28,8 @@ let warn_inexact_float =
       Pp.strbrk
         (Printf.sprintf
            "The constant %s is not a binary64 floating-point value. \
-            A closest value will be used and unambiguously printed %s."
-           sn (Float64.to_string f)))
+            A closest value %s will be used and unambiguously printed %s."
+           sn (Float64.to_hex_string f) (Float64.to_string f)))
 
 let interp_float ?loc n =
   let sn = NumTok.Signed.to_string n in
-- 
cgit v1.2.3