From 604affdeb06c13611b470803479381078562ae4b Mon Sep 17 00:00:00 2001
From: Robert Marsh <rdmarsh@semmle.com>
Date: Mon, 22 May 2023 09:31:39 -0400
Subject: [PATCH] C++: autoformat

---
 .../Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql         | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
index da227e65f92..f7bbbbb75d9 100644
--- a/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
+++ b/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
@@ -92,9 +92,7 @@ module PointerArithmeticToDerefConfig implements DataFlow::ConfigSig {
     pointerArithOverflow(source.asInstruction(), _, _, _, _)
   }
 
-  predicate isSink(DataFlow::Node sink) {
-    isInvalidPointerDerefSink1(sink, _, _)
-  }
+  predicate isSink(DataFlow::Node sink) { isInvalidPointerDerefSink1(sink, _, _) }
 }
 
 module PointerArithmeticToDerefFlow = DataFlow::Global<PointerArithmeticToDerefConfig>;