[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 71a9bf143e4728994218237d9afe5c778bcd72d1..20dafad5bff1dbeeb1b0523644d1b64621e75b3b 100644 (file)
--- 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",