From 566a92e55519bdad0fab656cb44edcd8e8837ffd Mon Sep 17 00:00:00 2001 From: BazookaMusic Date: Tue, 2 Jun 2026 10:41:10 +0200 Subject: [PATCH] formatting again --- shared/rangeanalysis/codeql/rangeanalysis/Bound.qll | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll b/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll index a39871000d9..353cb94064b 100644 --- a/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll +++ b/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll @@ -38,9 +38,10 @@ signature module BoundDefinitions { predicate interestingExprBound(Expr e); } -/** Provides classes for representing abstract bounds for use in, for example, range analysis. +/** + * Provides classes for representing abstract bounds for use in, for example, range analysis. * This is a generic implementation of bounds that relies on language specific modules to provide language-specific definitions of expressions, SSA variables, etc. -*/ + */ overlay[local?] module Bound Defs> { private import Defs