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