diff options
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 16f2a25..ff5418a 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -412,7 +412,7 @@ begin pragma Assert (Operating_Mode = Generate_Code - or else Operating_Mode = Check_Semantics); + or else Operating_Mode = Check_Semantics); if Operating_Mode = Generate_Code or else (ASIS_Mode or GNATprove_Mode) |