diff options
Diffstat (limited to 'src/lib')
-rw-r--r-- | src/lib/gnat/interfac.ads | 2 | ||||
-rw-r--r-- | src/lib/gnat/s-imenne.adb | 1 | ||||
-rw-r--r-- | src/lib/gnat/s-imenne.ads | 2 | ||||
-rw-r--r-- | src/lib/gnat/s-parame.ads | 2 | ||||
-rw-r--r-- | src/lib/gnat/s-stoele.adb | 2 | ||||
-rw-r--r-- | src/lib/gnat/s-stoele.ads | 2 | ||||
-rw-r--r-- | src/lib/gnat/s-unstyp.ads | 2 |
7 files changed, 0 insertions, 13 deletions
diff --git a/src/lib/gnat/interfac.ads b/src/lib/gnat/interfac.ads index e7e196c594..96f4b47b0b 100644 --- a/src/lib/gnat/interfac.ads +++ b/src/lib/gnat/interfac.ads @@ -33,8 +33,6 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit_Warning; - package Interfaces is pragma Pure; diff --git a/src/lib/gnat/s-imenne.adb b/src/lib/gnat/s-imenne.adb index 0c82dfd54d..de57766ad3 100644 --- a/src/lib/gnat/s-imenne.adb +++ b/src/lib/gnat/s-imenne.adb @@ -29,7 +29,6 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit_Warning; pragma Assertion_Policy (Statement_Assertions => Ignore); with Ada.Unchecked_Conversion; diff --git a/src/lib/gnat/s-imenne.ads b/src/lib/gnat/s-imenne.ads index 3726720cd1..ce470fd4ce 100644 --- a/src/lib/gnat/s-imenne.ads +++ b/src/lib/gnat/s-imenne.ads @@ -40,8 +40,6 @@ -- for bootstrapping with older versions of the compiler which expect to find -- functions in this package. -pragma Compiler_Unit_Warning; - package System.Img_Enum_New is pragma Pure; diff --git a/src/lib/gnat/s-parame.ads b/src/lib/gnat/s-parame.ads index 3bb8b106da..b3682ba08e 100644 --- a/src/lib/gnat/s-parame.ads +++ b/src/lib/gnat/s-parame.ads @@ -46,8 +46,6 @@ -- Note: do not introduce any pragma Inline statements into this unit, since -- otherwise the relinking and rebinding capability would be deactivated. -pragma Compiler_Unit_Warning; - package System.Parameters is pragma Pure; diff --git a/src/lib/gnat/s-stoele.adb b/src/lib/gnat/s-stoele.adb index 1cb5f92a23..77faa53074 100644 --- a/src/lib/gnat/s-stoele.adb +++ b/src/lib/gnat/s-stoele.adb @@ -29,8 +29,6 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit_Warning; - with Ada.Unchecked_Conversion; package body System.Storage_Elements is diff --git a/src/lib/gnat/s-stoele.ads b/src/lib/gnat/s-stoele.ads index bf773cb03d..78faa1dce4 100644 --- a/src/lib/gnat/s-stoele.ads +++ b/src/lib/gnat/s-stoele.ads @@ -37,8 +37,6 @@ -- extra declarations that can be introduced into System using Extend_System. -- It is a good idea to avoid use clauses for this package. -pragma Compiler_Unit_Warning; - package System.Storage_Elements is pragma Pure; -- Note that we take advantage of the implementation permission to make diff --git a/src/lib/gnat/s-unstyp.ads b/src/lib/gnat/s-unstyp.ads index 9eefc15b59..de4affcd32 100644 --- a/src/lib/gnat/s-unstyp.ads +++ b/src/lib/gnat/s-unstyp.ads @@ -35,8 +35,6 @@ -- also contains some related definitions for other specialized types -- used by the compiler in connection with packed array types. -pragma Compiler_Unit_Warning; - package System.Unsigned_Types is pragma Pure; |