diff options
Diffstat (limited to 'src/utils_io.adb')
| -rw-r--r-- | src/utils_io.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/utils_io.adb b/src/utils_io.adb index 78b9a9d7b..1b5f0ff71 100644 --- a/src/utils_io.adb +++ b/src/utils_io.adb @@ -49,6 +49,11 @@ package body Utils_IO is Put_Trim (Int64'Image (V)); end Put_Int64; + procedure Put_Fp64 (V : Fp64) is + begin + Put_Trim (Fp64'Image (V)); + end Put_Fp64; + Hex_Map : constant array (0 .. 15) of Character := "0123456789ABCDEF"; procedure Put_Addr (V : System.Address) |