diff options
| -rw-r--r-- | gcc/ada/errout.adb | 1 | ||||
| -rw-r--r-- | gcc/ada/frontend.adb | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb index 0b5de5c..09e8e59 100644 --- a/gcc/ada/errout.adb +++ b/gcc/ada/errout.adb @@ -1125,6 +1125,7 @@ package body Errout is -- without any further processing. pragma Assert (not Continuation); + Last_Killed := True; return; end if; 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) |