[Ada] Remove hyphens in two cases of "side-effect" used as a noun
authorGary Dismukes <dismukes@adacore.com>
Wed, 14 Oct 2020 18:09:06 +0000 (14:09 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 25 Nov 2020 13:22:32 +0000 (08:22 -0500)
gcc/ada/

* exp_util.adb (Possible_Side_Effect_In_SPARK): Replace hyphen
with a space in "side-effect" (two instances).

gcc/ada/exp_util.adb

index fa30e8f7de3f423ad99f649882cfd3a8cb62a177..6845d458be5d577bb2f3fb8b79abf796c040f9c8 100644 (file)
@@ -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.
 
       ---------------------