diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:48:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:48:59 +0200 |
| commit | aceb8afe14b10882ca094b24d7b0467a13dfeea7 (patch) | |
| tree | bc0780aef6dbed8a10f32faed988aa73b09fae35 /gcc/ada/errout.adb | |
| parent | 1d2d8a8f5a35b317abe53360082e275e44d3947b (diff) | |
| download | gcc-aceb8afe14b10882ca094b24d7b0467a13dfeea7.zip gcc-aceb8afe14b10882ca094b24d7b0467a13dfeea7.tar.gz gcc-aceb8afe14b10882ca094b24d7b0467a13dfeea7.tar.bz2 | |
Minor reformatting.
From-SVN: r237974
Diffstat (limited to 'gcc/ada/errout.adb')
| -rw-r--r-- | gcc/ada/errout.adb | 1 |
1 files changed, 1 insertions, 0 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; |