diff --git a/lib2/h3.ads b/lib2/h3.ads index 5e8de75..6c9eea9 100644 --- a/lib2/h3.ads +++ b/lib2/h3.ads @@ -2,7 +2,9 @@ with System; with System.Storage_Pools; package H3 is - --pragma Preelaborate (H3); + --pragma Pure; -- can be pure if not for System.Storage_Pools; + --pragma Preelabotrate; + --pragma Preelaborate(H3); subtype Boolean is Standard.Boolean; True: constant Boolean := (1 = 1);