From aceb8afe14b10882ca094b24d7b0467a13dfeea7 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 4 Jul 2016 12:48:59 +0200 Subject: [PATCH] Minor reformatting. From-SVN: r237974 --- 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 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) -- 2.30.2