From 158b4c6fd957b77dfcc01e7a89cca5b8bad277d8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 20 Jul 2022 19:30:39 +0200
Subject: elab-vhdl_debug: disp fp64 values

---
 src/utils_io.adb | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/utils_io.adb')

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)
-- 
cgit v1.2.3