fix some more style-guide violations in the alert-messages

This commit is contained in:
erik-krogh
2022-10-07 11:23:34 +02:00
parent 5f740a5598
commit 944ca4a0da
115 changed files with 459 additions and 458 deletions

View File

@@ -42,4 +42,4 @@ predicate probable_side_effect(Expr e) {
from Assert a, Expr e
where probable_side_effect(e) and a.contains(e)
select a, "This 'assert' statement contains $@ which may have side effects.", e, "an expression"
select a, "This 'assert' statement contains an $@ which may have side effects.", e, "expression"