Dataflow: one more autoformat post rebase

This commit is contained in:
Anders Schack-Mulligen
2023-03-10 09:42:35 +01:00
parent 3640b6d3a8
commit 159d8e978c
10 changed files with 20 additions and 10 deletions

View File

@@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
private import TaintTrackingParameter::Private
private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> implements
DataFlowInternal::FullStateConfigSig {
DataFlowInternal::FullStateConfigSig
{
import Config
predicate isBarrier(DataFlow::Node node) {