diff options
| author | Pierre Roux | 2020-03-31 19:12:18 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-05-19 12:05:29 +0200 |
| commit | 04e22abe4378e29671def7b4d9c7e509c58ef6b6 (patch) | |
| tree | 3cafb2ad562d0472e115225eeb7848b7ec8cdbd2 /plugins/syntax/float_syntax.ml | |
| parent | a5c9ad83071c99110fed464a0b9a0f5e73f1be9b (diff) | |
[primitive floats] Add low level hexadecimal printing
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
| -rw-r--r-- | plugins/syntax/float_syntax.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |