diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2016-04-20 09:17:15 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 11:17:15 +0200 |
| commit | c37e6613f5530611fb5ba5db6c7972694a8b0f5c (patch) | |
| tree | b9ac6d0581bc24a3dfdd229fd979a25e4fdf5711 /gcc/ada/ghost.adb | |
| parent | 7f5e1dee7c70db3fd4e4dab5f205a30b8373a8de (diff) | |
| download | gcc-c37e6613f5530611fb5ba5db6c7972694a8b0f5c.zip gcc-c37e6613f5530611fb5ba5db6c7972694a8b0f5c.tar.gz gcc-c37e6613f5530611fb5ba5db6c7972694a8b0f5c.tar.bz2 | |
sem_util.adb, [...]: Minor reformatting.
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb, contracts.adb, ghost.adb, exp_ch6.adb: Minor
reformatting.
From-SVN: r235246
Diffstat (limited to 'gcc/ada/ghost.adb')
| -rw-r--r-- | gcc/ada/ghost.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/ghost.adb b/gcc/ada/ghost.adb index 69865b5..8bd1031 100644 --- a/gcc/ada/ghost.adb +++ b/gcc/ada/ghost.adb @@ -256,9 +256,9 @@ package body Ghost is if Present (Subp_Id) then - -- The context is the internally built _postconditions - -- subprogram, which it is OK because the real check was - -- done before expansion activities. + -- The context is the internally built _Postconditions + -- procedure, which is OK because the real check was done + -- before expansion activities. if Chars (Subp_Id) = Name_uPostconditions then return True; |