Skip to content

Commit bcf4f4f

Browse files
author
Max Schaefer
committed
Drop a conjunct which is now spurious.
1 parent 03ca244 commit bcf4f4f

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

java/ql/automodel/src/AutomodelApplicationModeCharacteristics.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -474,7 +474,6 @@ private class IsMaDTaintStepCharacteristic extends CharacteristicsImpl::NotASink
474474
IsMaDTaintStepCharacteristic() { this = "taint step" }
475475

476476
override predicate appliesToEndpoint(Endpoint e) {
477-
e.getExtensibleType() = "sinkModel" and
478477
FlowSummaryImpl::Private::Steps::summaryThroughStepValue(e.asNode(), _, _)
479478
or
480479
FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(e.asNode(), _, _)

0 commit comments

Comments
 (0)