OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Minor reformatting. 

From-SVN: r237974
This commit is contained in:
Arnaud Charlet 2016-07-04 12:48:59 +02:00
parent 1d2d8a8f5a
commit aceb8afe14
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gcc/ada/errout.adb
View File

@ -1125,6 +1125,7 @@ package body Errout is
-- without any further processing.
pragma Assert (not Continuation);
Last_Killed := True;
return;
end if;

2
gcc/ada/frontend.adb
View File

@ -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)