From: Arnaud Charlet Date: Mon, 4 Jul 2016 10:48:59 +0000 (+0200) Subject: Minor reformatting. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aceb8afe14b10882ca094b24d7b0467a13dfeea7;p=gcc.git Minor reformatting. From-SVN: r237974 --- diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb index 0b5de5c8d35..09e8e591f15 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 16f2a25061d..ff5418a1340 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)