diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-01-14 21:15:37 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-01-06 10:14:47 +0100 |
| commit | a172d6cfa0634d932d30e36636d1bd79ae70c27c (patch) | |
| tree | ffb78ecc5679eb4bf698771ba9fe9a9f3eae5b33 /gcc | |
| parent | 2a38c2330fd498dd929fedff32023050e223c039 (diff) | |
| download | gcc-a172d6cfa0634d932d30e36636d1bd79ae70c27c.zip gcc-a172d6cfa0634d932d30e36636d1bd79ae70c27c.tar.gz gcc-a172d6cfa0634d932d30e36636d1bd79ae70c27c.tar.bz2 | |
ada: Ada version used to compile runtime is constant
Code cleanup.
gcc/ada/ChangeLog:
* opt.ads (Ada_Version_Runtime): Now a constant, since it cannot
and should never be modified.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/opt.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index aea52f3..a09a1cc 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -127,7 +127,7 @@ package Opt is -- remains set to Ada_Version_Default). This is used in the rare cases -- (notably pragma Obsolescent) where we want the explicit version set. - Ada_Version_Runtime : Ada_Version_Type := Ada_With_All_Extensions; + Ada_Version_Runtime : constant Ada_Version_Type := Ada_With_All_Extensions; -- GNAT -- Ada version used to compile the runtime. Used to set Ada_Version (but -- not Ada_Version_Explicit) when compiling predefined or internal units. |