From: charlet Date: Mon, 4 Jul 2016 10:48:59 +0000 (+0000) Subject: Minor reformatting. X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=75728e51a0481a71693e9f4daa79e77dbb39c70d;p=thirdparty%2Fgcc.git Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237974 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb index 0b5de5c8d35d..09e8e591f156 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 16f2a25061d0..ff5418a13409 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)