From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 26 Aug 2020 11:19:13 +0000 (+0200)
Subject: [Ada] Fix whitespace in code for external property pragmas
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=846744902e122804242af2cb9f6c6828e887cdf9;p=gcc.git

[Ada] Fix whitespace in code for external property pragmas

gcc/ada/

	* contracts.adb (Check_Type_Or_Object_External_Properties):
	Cleanup.
---

diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb
index 71a9bf143e4..20dafad5bff 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",