We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent df972ee commit fe8b466Copy full SHA for fe8b466
1 file changed
ql/src/queries/style/UseSetLiteral.ql
@@ -9,7 +9,6 @@
9
*/
10
11
import ql
12
-import codeql_ql.ast.internal.Predicate // TODO: for PredicateOrBuiltin
13
14
/**
15
* A chain of disjunctions treated as one object. For example the following is
@@ -106,7 +105,7 @@ class CallLiteral extends Call {
106
105
class DisjunctionPredicateLiteral extends DisjunctionChain {
107
DisjunctionPredicateLiteral() {
108
// Call to the same target
109
- exists(PredicateOrBuiltin target |
+ exists(AstNode target |
110
forex(Formula f | f = getAnOperandRec() | f.(CallLiteral).getTarget() = target)
111
)
112
}
0 commit comments