From 75728e51a0481a71693e9f4daa79e77dbb39c70d Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 4 Jul 2016 10:48:59 +0000 Subject: [PATCH] Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237974 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/errout.adb | 1 + gcc/ada/frontend.adb | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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) -- 2.47.3