From fe8b466ff0f2378e18b9a6cd4930af33e43743ac Mon Sep 17 00:00:00 2001 From: Geoffrey White <40627776+geoffw0@users.noreply.github.com> Date: Wed, 13 Oct 2021 15:17:00 +0100 Subject: [PATCH] QL: Work around import of internal file. --- ql/src/queries/style/UseSetLiteral.ql | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ql/src/queries/style/UseSetLiteral.ql b/ql/src/queries/style/UseSetLiteral.ql index 4bd13a22c38..0481ac39299 100644 --- a/ql/src/queries/style/UseSetLiteral.ql +++ b/ql/src/queries/style/UseSetLiteral.ql @@ -9,7 +9,6 @@ */ import ql -import codeql_ql.ast.internal.Predicate // TODO: for PredicateOrBuiltin /** * A chain of disjunctions treated as one object. For example the following is @@ -106,7 +105,7 @@ class CallLiteral extends Call { class DisjunctionPredicateLiteral extends DisjunctionChain { DisjunctionPredicateLiteral() { // Call to the same target - exists(PredicateOrBuiltin target | + exists(AstNode target | forex(Formula f | f = getAnOperandRec() | f.(CallLiteral).getTarget() = target) ) }