diff options
Diffstat (limited to 'gcc/ada/opt.ads')
| -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 e6a42815e82..def16bb30f7 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -140,7 +140,7 @@ package Opt is -- or internal units, so it reflects the Ada version explicitly set -- using configuration pragmas or compiler switches (or if neither -- appears, it remains set to Ada_Version_Default). This is used in - -- the rare cases (notably for pragmas Preelaborate_05 and Pure_05) + -- the rare cases (notably for pragmas Preelaborate_05 and Pure_05/12) -- where in the run-time we want the explicit version set. Ada_Version_Runtime : Ada_Version_Type := Ada_2012; |