From: Gary Dismukes Date: Wed, 14 Oct 2020 18:09:06 +0000 (-0400) Subject: [Ada] Remove hyphens in two cases of "side-effect" used as a noun X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=595c9aebadbbbfa5f8f93dd069fd71c428dfd170;p=gcc.git [Ada] Remove hyphens in two cases of "side-effect" used as a noun gcc/ada/ * exp_util.adb (Possible_Side_Effect_In_SPARK): Replace hyphen with a space in "side-effect" (two instances). --- diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index fa30e8f7de3..6845d458be5 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -11125,9 +11125,9 @@ package body Exp_Util is -- entity is marked as internal. function Possible_Side_Effect_In_SPARK (Exp : Node_Id) return Boolean; - -- Computes whether a side-effect is possible in SPARK, which should + -- Computes whether a side effect is possible in SPARK, which should -- be handled by removing it from the expression for GNATprove. Note - -- that other side-effects related to volatile variables are handled + -- that other side effects related to volatile variables are handled -- separately. ---------------------