From: pmderodat Date: Tue, 11 Dec 2018 11:10:48 +0000 (+0000) Subject: [Ada] Minor reformattings X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d80ef1addc5b30061dc3a9530f96107133340948;p=thirdparty%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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@266997 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 98fdcaf0015f..c16a043029ad 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 97eccdd2d7a7..96baa1b53f42 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 b8baeeb209f0..1c4aeaf4c4a9 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);