diff options
| author | Pierre-Marie Pédrot | 2020-05-22 11:59:43 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-22 11:59:43 +0200 |
| commit | 7e09ee64b721baf0803c5fdb91c4687fded112cb (patch) | |
| tree | 9f3f691be9b0500e846fee282183d5e0975bec8c /plugins | |
| parent | 90389df4d03a6a6232e0372ff3efee720f85d284 (diff) | |
| parent | 04e22abe4378e29671def7b4d9c7e509c58ef6b6 (diff) | |
Merge PR #11986: [primitive floats] Add low level printing
Ack-by: SkySkimmer
Reviewed-by: ppedrot
Diffstat (limited to 'plugins')
| -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 |