From b90428658802f4aafb8c77e96937383f849bec34 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 11 May 2019 08:44:48 +0200
Subject: types: add fp32

---
 src/types.ads | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/types.ads b/src/types.ads
index 71b981647..fb13bf8a7 100644
--- a/src/types.ads
+++ b/src/types.ads
@@ -42,6 +42,7 @@ package Types is
    type Uns64 is new Interfaces.Unsigned_64;
 
    type Fp64 is new Interfaces.IEEE_Float_64;
+   type Fp32 is new Interfaces.IEEE_Float_32;
 
    --  Useful types.
    type String_Acc is access String;
-- 
cgit v1.2.3