diff options
Diffstat (limited to 'gcc/ada/system-vxworks-x86.ads')
| -rw-r--r-- | gcc/ada/system-vxworks-x86.ads | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/system-vxworks-x86.ads b/gcc/ada/system-vxworks-x86.ads index 202e326b56e..4eeb1196a31 100644 --- a/gcc/ada/system-vxworks-x86.ads +++ b/gcc/ada/system-vxworks-x86.ads @@ -38,8 +38,9 @@ package System is pragma Pure (System); --- Note that we take advantage of the implementation permission to --- make this unit Pure instead of Preelaborable, see RM 13.7(36) +-- Note that we take advantage of the implementation permission to make this +-- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is +-- Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; |