QL4QL: Fix a warning about repeating alert location

This commit is contained in:
Asger F
2023-05-24 09:55:09 +02:00
parent e4e52e77f7
commit 5b7f69cf0a

View File

@@ -110,6 +110,5 @@ predicate hasClashBreakSymmetry(
from SummarizedCallableImpl class1, SummarizedCallableImpl class2, string name
where hasClashBreakSymmetry(class1, class2, name)
select class1,
"$@ and $@ both bind 'this' to the string \"" + name +
"\". They may accidentally apply to each others' call sites.", class1, class1.getName(), class2,
class2.getName()
class1.getName() + " and $@ both bind 'this' to the string \"" + name +
"\". They may accidentally apply to each others' call sites.", class2, class2.getName()