diff options
author | xguo <xguo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-04-01 10:01:45 +0000 |
---|---|---|
committer | xguo <xguo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-04-01 10:01:45 +0000 |
commit | c09a261e5b7ab4cac951dddae7abd1dfba1c8c64 (patch) | |
tree | b2242d07771b978f62b3c80c5079a93e7f7b2d2c /gcc/ada/system-vxworks-arm.ads | |
parent | 9d711e7cabfae0f01e04215b85bc6c7041804ba7 (diff) | |
parent | f50b88830e71386da5ee62290eaeb204c551f818 (diff) |
Sync with upstream 4.7 branchARM/embedded-4_7-branch
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/ARM/embedded-4_7-branch@208982 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/system-vxworks-arm.ads')
-rw-r--r-- | gcc/ada/system-vxworks-arm.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/system-vxworks-arm.ads b/gcc/ada/system-vxworks-arm.ads index 484d40d95c7..265066aab33 100644 --- a/gcc/ada/system-vxworks-arm.ads +++ b/gcc/ada/system-vxworks-arm.ads @@ -35,10 +35,10 @@ ------------------------------------------------------------------------------ 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.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- 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; |