From 3b1d917c2b83e58dcdcc385e66f74a779bdedcf7 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Tue, 8 Oct 2024 13:30:28 +0100
Subject: [PATCH] Rust: Autoformat.

---
 rust/ql/src/queries/unusedentities/UnreachableCode.ql | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/rust/ql/src/queries/unusedentities/UnreachableCode.ql b/rust/ql/src/queries/unusedentities/UnreachableCode.ql
index d095ebeb523..2cb3944d819 100644
--- a/rust/ql/src/queries/unusedentities/UnreachableCode.ql
+++ b/rust/ql/src/queries/unusedentities/UnreachableCode.ql
@@ -15,9 +15,7 @@ import codeql.rust.controlflow.internal.ControlFlowGraphImpl as ControlFlowGraph
 /**
  * Holds if `n` is an AST node that's unreachable.
  */
-private predicate unreachable(AstNode n) {
-  not n = any(CfgNode cfn).getAstNode()
-}
+private predicate unreachable(AstNode n) { not n = any(CfgNode cfn).getAstNode() }
 
 /**
  * Holds if `n` is an AST node that's unreachable, and is not the successor