From e34fbc8bd1f858870bd5d79ac0268111f3ec09d1 Mon Sep 17 00:00:00 2001 From: Asger F Date: Tue, 17 Dec 2024 11:26:56 +0100 Subject: [PATCH] Shared: autoformat --- shared/dataflow/codeql/dataflow/DataFlow.qll | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/shared/dataflow/codeql/dataflow/DataFlow.qll b/shared/dataflow/codeql/dataflow/DataFlow.qll index 01ccfaebf4a7..400ed5746ebd 100644 --- a/shared/dataflow/codeql/dataflow/DataFlow.qll +++ b/shared/dataflow/codeql/dataflow/DataFlow.qll @@ -1025,7 +1025,9 @@ module DataFlowMake Lang> { MakeDiscriminatorPass; private newtype TPathNode = - TPreservedPathNode(InputPathNode node) { Pass2::discriminatedPathNode(node) or node = getUniqPathNode(_, _) } or + TPreservedPathNode(InputPathNode node) { + Pass2::discriminatedPathNode(node) or node = getUniqPathNode(_, _) + } or TCollapsedPathNode(Node node, string toString) { initialCandidate(node, toString) and not Pass2::discriminatedPair(node, toString)