From c3a14cbfb762fdfd40cede74cc07647faa339c85 Mon Sep 17 00:00:00 2001 From: hyung-hwan Date: Sun, 21 Nov 2021 15:08:42 +0000 Subject: [PATCH] meaningless commit --- lib2/h3.ads | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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);