diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:48:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:48:59 +0200 |
| commit | aceb8afe14b10882ca094b24d7b0467a13dfeea7 (patch) | |
| tree | bc0780aef6dbed8a10f32faed988aa73b09fae35 /gcc/ada/frontend.adb | |
| parent | 1d2d8a8f5a35b317abe53360082e275e44d3947b (diff) | |
| download | gcc-aceb8afe14b10882ca094b24d7b0467a13dfeea7.zip gcc-aceb8afe14b10882ca094b24d7b0467a13dfeea7.tar.gz gcc-aceb8afe14b10882ca094b24d7b0467a13dfeea7.tar.bz2 | |
Minor reformatting.
From-SVN: r237974
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 16f2a25..ff5418a 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) |