diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2020-10-14 14:09:06 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-25 08:22:32 -0500 |
| commit | 595c9aebadbbbfa5f8f93dd069fd71c428dfd170 (patch) | |
| tree | c49f37a4ad96f0eead8aa7e1ff527b47f94a0328 | |
| parent | e480bca2400d891bbde62e68d6a8f573848c22c6 (diff) | |
| download | gcc-595c9aebadbbbfa5f8f93dd069fd71c428dfd170.zip gcc-595c9aebadbbbfa5f8f93dd069fd71c428dfd170.tar.gz gcc-595c9aebadbbbfa5f8f93dd069fd71c428dfd170.tar.bz2 | |
[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).
| -rw-r--r-- | gcc/ada/exp_util.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index fa30e8f..6845d45 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. --------------------- |