diff --git a/src/gnat.adc b/src/gnat.adc
index e0e089da0a06a91a241b480bab732cbabd8b5c84..47d67b5242edf30b8bcf463bdfc08c45dfeb533a 100644
--- a/src/gnat.adc
+++ b/src/gnat.adc
@@ -4,7 +4,7 @@
 --  reference manual.
 
 pragma Restrictions (No_Allocators);                  -- H.4 (7)
-pragma Restrictions (No_Floating_Point);              -- H.4 (14)
+--  pragma Restrictions (No_Floating_Point);              -- H.4 (14)
 --  pragma Restrictions (No_Access_Subprograms);          -- H.4 (17)
 pragma Restrictions (No_Unchecked_Access);            -- H.4 (18)
 pragma Restrictions (No_Dispatch);                    -- H.4 (19)