From 4633abe19e95503362526406b249154167718421 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Tue, 9 May 2023 13:26:38 +0200
Subject: [PATCH] Java: Autoformat

---
 .../semmle/code/java/dataflow/internal/DataFlowPrivate.qll    | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
index 4782e65b7e7..01bf90cb7ba 100644
--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -194,9 +194,7 @@ class DataFlowType extends SrcRefType {
 }
 
 pragma[nomagic]
-predicate typeStrongerThan(DataFlowType t1, DataFlowType t2) {
-  t1.getASourceSupertype+() = t2
-}
+predicate typeStrongerThan(DataFlowType t1, DataFlowType t2) { t1.getASourceSupertype+() = t2 }
 
 pragma[noinline]
 DataFlowType getNodeType(Node n) {