From: Gary Dismukes Date: Tue, 11 Dec 2018 11:10:48 +0000 (+0000) Subject: [Ada] Minor reformattings X-Git-Tag: upstream/12.2.0~27433 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=371e21cf9020cd4278e98bfeee17086dc39e2723;p=platform%2Fupstream%2Fgcc.git [Ada] Minor reformattings 2018-12-11 Gary Dismukes gcc/ada/ * exp_util.ads: Use preferred U.S. spelling of "honored". * sem_spark.adb: Remove extra whitespace. From-SVN: r266997 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 98fdcaf..c16a043 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-12-11 Gary Dismukes + + * exp_util.ads: Use preferred U.S. spelling of "honored". + * sem_spark.adb: Remove extra whitespace. + 2018-12-11 Hristian Kirtchev * exp_util.adb (Insert_Action): Add new formal parameter diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index 97eccdd..96baa1b 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -96,7 +96,7 @@ package Exp_Util is -- above. The action is analyzed using the default checks after it is -- inserted. Assoc_Node is the node with which the action is associated. -- When flag Spec_Expr_OK is set, insertions triggered in the context of - -- spec expressions are honoured, even though they contradict "Handling + -- spec expressions are honored, even though they contradict "Handling -- of Default and Per-Object Expressions". procedure Insert_Action @@ -109,7 +109,7 @@ package Exp_Util is -- by the given Suppress argument after it is inserted. Assoc_Node is -- the node with which the action is associated. When flag Spec_Expr_OK -- is set, insertions triggered in the context of spec expressions are - -- honoured, even though they contradict "Handling of Default and Per- + -- honored, even though they contradict "Handling of Default and Per- -- Object Expressions". procedure Insert_Actions @@ -121,7 +121,7 @@ package Exp_Util is -- after they are inserted. Assoc_Node is the node with which the actions -- are associated. Ins_Actions may be No_List, in which case the call has -- no effect. When flag Spec_Expr_OK is set, insertions triggered in the - -- context of spec expressions are honoured, even though they contradict + -- context of spec expressions are honored, even though they contradict -- "Handling of Default and Per-Object Expressions". procedure Insert_Actions @@ -135,7 +135,7 @@ package Exp_Util is -- Assoc_Node is the node with which the actions are associated. List -- Ins_Actions may be No_List, in which case the call has no effect. -- When flag Spec_Expr_OK is set, insertions triggered in the context of - -- spec expressions are honoured, even though they contradict "Handling + -- spec expressions are honored, even though they contradict "Handling -- of Default and Per-Object Expressions". procedure Insert_Action_After diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index b8baeeb..1c4aeaf 100644 --- a/gcc/ada/sem_spark.adb +++ b/gcc/ada/sem_spark.adb @@ -230,8 +230,8 @@ package body Sem_SPARK is -------------------- procedure Perm_Mismatch - (Exp_Perm, Act_Perm : Perm_Kind; - N : Node_Id); + (Exp_Perm, Act_Perm : Perm_Kind; + N : Node_Id); -- Issues a continuation error message about a mismatch between a -- desired permission Exp_Perm and a permission obtained Act_Perm. N -- is the node on which the error is reported. @@ -1652,7 +1652,7 @@ package body Sem_SPARK is if Present (Iteration_Scheme (Loop_N)) then declare - Exit_Env : constant Perm_Env_Access := new Perm_Env; + Exit_Env : constant Perm_Env_Access := new Perm_Env; begin Copy_Env (From => Current_Perm_Env, To => Exit_Env.all);