From d1226b71de156cc4f7fae5cb3e7a622934d9fae6 Mon Sep 17 00:00:00 2001
From: BazookaMusic <bazookamusic@github.com>
Date: Mon, 1 Jun 2026 15:46:52 +0200
Subject: [PATCH] formatting

---
 shared/rangeanalysis/codeql/rangeanalysis/Bound.qll | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll b/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll
index af44e692745..de3aba8781f 100644
--- a/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll
+++ b/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll
@@ -1,7 +1,3 @@
-/**
- * Provides classes for representing abstract bounds for use in, for example, range analysis.
- */
-
 private import codeql.util.Location
 
 signature module BoundDefinitions<LocationSig Location> {
@@ -36,6 +32,7 @@ signature module BoundDefinitions<LocationSig Location> {
   predicate interestingExprBound(Expr e);
 }
 
+/** Provides classes for representing abstract bounds for use in, for example, range analysis. */
 overlay[local?]
 module Bound<LocationSig Location, BoundDefinitions<Location> Defs> {
   private import Defs