From ba81c10aaf79c0a7ef3e90bedd13455a2a56e2da Mon Sep 17 00:00:00 2001 From: hyung-hwan Date: Sun, 21 Nov 2021 15:08:42 +0000 Subject: [PATCH] meaningless commit --- h2/lib2/h3.ads | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/h2/lib2/h3.ads b/h2/lib2/h3.ads index 5e8de75..6c9eea9 100644 --- a/h2/lib2/h3.ads +++ b/h2/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);