diff options
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 605dc89e..42b1369 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1734,12 +1734,12 @@ package Opt is Ada_Version_Config : Ada_Version_Type; -- GNAT -- This is the value of the configuration switch for the Ada 83 mode, as - -- set by the command line switches -gnat83/95/05, and possibly modified by - -- the use of configuration pragmas Ada_*. This switch is used to set the - -- initial value for Ada_Version mode at the start of analysis of a unit. - -- Note however that the setting of this flag is ignored for internal and - -- predefined units (which are always compiled in the most up to date - -- version of Ada). + -- set by the command line switches -gnat83/95/2005/2012, and possibly + -- modified by the use of configuration pragmas Ada_*. This switch is used + -- to set the initial value for Ada_Version mode at the start of analysis + -- of a unit. Note however that the setting of this flag is ignored for + -- internal and predefined units (which are always compiled in the most up + -- to date version of Ada). Ada_Version_Pragma_Config : Node_Id; -- This will be set non empty if it is set by a configuration pragma |