diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2019-07-10 09:01:33 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:01:33 +0000 |
| commit | 7f8c1cd3675b0e30817d98e52740b918b4e970b0 (patch) | |
| tree | c893e1819017c5d50981513e99833bb2cf9abc1d /gcc/ada/sem_spark.adb | |
| parent | 0b6694b4e41d394df12d159c319be4b1326745ca (diff) | |
| download | gcc-7f8c1cd3675b0e30817d98e52740b918b4e970b0.zip gcc-7f8c1cd3675b0e30817d98e52740b918b4e970b0.tar.gz gcc-7f8c1cd3675b0e30817d98e52740b918b4e970b0.tar.bz2 | |
[Ada] Minor reformatting
2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* bindo-graphs.adb, bindo.adb, debug.adb, exp_ch6.adb,
sem_ch10.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb,
sem_ch6.adb, sem_ch7.adb, sem_res.adb, sem_spark.adb,
sem_util.adb, warnsw.ads: Minor reformatting.
From-SVN: r273335
Diffstat (limited to 'gcc/ada/sem_spark.adb')
| -rw-r--r-- | gcc/ada/sem_spark.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index af7dcd5..a9384b8 100644 --- a/gcc/ada/sem_spark.adb +++ b/gcc/ada/sem_spark.adb @@ -1302,9 +1302,7 @@ package body Sem_SPARK is begin -- Only SPARK bodies are analyzed - if No (Prag) - or else Get_SPARK_Mode_From_Annotation (Prag) /= Opt.On - then + if No (Prag) or else Get_SPARK_Mode_From_Annotation (Prag) /= Opt.On then return; end if; @@ -1314,8 +1312,9 @@ package body Sem_SPARK is and then Is_Anonymous_Access_Type (Etype (Spec_Id)) and then not Is_Traversal_Function (Spec_Id) then - Error_Msg_N ("anonymous access type for result only allowed for " - & "traveral functions", Spec_Id); + Error_Msg_N + ("anonymous access type for result only allowed for traveral " + & "functions", Spec_Id); return; end if; |