diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-10-28 22:10:25 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-14 14:46:49 +0100 |
| commit | 35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a (patch) | |
| tree | 4450fe440c3098e9778029215ecc86d800d99a30 /gcc/ada/inline.adb | |
| parent | fe02d7d9135083ed157886913b4a83ebc88e987c (diff) | |
| download | gcc-35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a.zip gcc-35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a.tar.gz gcc-35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a.tar.bz2 | |
ada: Fix style in code for generic formal subprograms with contracts
Code cleanup related to expansion generic formal subprograms with
contracts for GNATprove.
gcc/ada/
* inline.adb (Replace_Formal): Tune whitespace.
* sem_ch12.adb (Check_Overloaded_Formal_Subprogram): Refine type
of a formal parameter and local variable; this routine operates on
nodes and not entities.
* sem_ch12.ads: Tune whitespace.
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index a1ead98..d33f5b4 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -4723,8 +4723,8 @@ package body Inline is -------------------- function Replace_Formal (N : Node_Id) return Traverse_Result is - A : Entity_Id; - E : Entity_Id; + A : Entity_Id; + E : Entity_Id; begin if Is_Entity_Name (N) and then Present (Entity (N)) then |