Skip to content

Commit

Permalink
IdentifierHidden: fix missing predicate name change
Browse files Browse the repository at this point in the history
  • Loading branch information
knewbury01 committed May 21, 2024
1 parent cbaf2fd commit 499059b
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ string step1(string s) {
string step2(string s) { s = "m_" and result = "rn" }

predicate violation(UserVariable v1, UserVariable v2) {
v2 = getPotentialScopeOfDeclaration(v1) and
v2 = getPotentialScopeOfVariable(v1) and
exists(string s1, string s2 |
// over-approximate a match, because it is cheaper to compute
getCanon(v1) = getCanon(v2) and
Expand Down

0 comments on commit 499059b

Please sign in to comment.