From 846744902e122804242af2cb9f6c6828e887cdf9 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 26 Aug 2020 13:19:13 +0200 Subject: [PATCH] [Ada] Fix whitespace in code for external property pragmas gcc/ada/ * contracts.adb (Check_Type_Or_Object_External_Properties): Cleanup. --- gcc/ada/contracts.adb | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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", -- 2.30.2