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 { @@ -36,6 +32,7 @@ signature module BoundDefinitions { predicate interestingExprBound(Expr e); } +/** Provides classes for representing abstract bounds for use in, for example, range analysis. */ overlay[local?] module Bound Defs> { private import Defs