From 595c9aebadbbbfa5f8f93dd069fd71c428dfd170 Mon Sep 17 00:00:00 2001 From: Gary Dismukes Date: Wed, 14 Oct 2020 14:09:06 -0400 Subject: [PATCH] [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). --- gcc/ada/exp_util.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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. --------------------- -- 2.30.2