diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-08-26 13:19:13 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:24:40 -0400 |
| commit | 846744902e122804242af2cb9f6c6828e887cdf9 (patch) | |
| tree | 5e516154f3c94c0918948ab37ebd3f35484d3006 /gcc | |
| parent | 9d0761c76b6b3a1831f2118a570cc82ac5bc0ace (diff) | |
| download | gcc-846744902e122804242af2cb9f6c6828e887cdf9.zip gcc-846744902e122804242af2cb9f6c6828e887cdf9.tar.gz gcc-846744902e122804242af2cb9f6c6828e887cdf9.tar.bz2 | |
[Ada] Fix whitespace in code for external property pragmas
gcc/ada/
* contracts.adb (Check_Type_Or_Object_External_Properties):
Cleanup.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/contracts.adb | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 71a9bf1..20dafad 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -795,13 +795,13 @@ package body Contracts is -- Local variables - AR_Val : Boolean := False; - AW_Val : Boolean := False; - ER_Val : Boolean := False; - EW_Val : Boolean := False; - Seen : Boolean := False; - Prag : Node_Id; - Obj_Typ : Entity_Id; + AR_Val : Boolean := False; + AW_Val : Boolean := False; + ER_Val : Boolean := False; + EW_Val : Boolean := False; + Seen : Boolean := False; + Prag : Node_Id; + Obj_Typ : Entity_Id; -- Start of processing for Check_Type_Or_Object_External_Properties @@ -938,7 +938,7 @@ package body Contracts is -- with its type (SPARK RM 7.1.3(2)). if not Is_Type_Id then - if Is_Effectively_Volatile (Obj_Typ) then + if Is_Effectively_Volatile (Obj_Typ) then Check_Volatility_Compatibility (Type_Or_Obj_Id, Obj_Typ, "volatile object", "its type", |