diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisImpl.qll b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisImpl.qll index 31c751a8c6d..f69394df058 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisImpl.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisImpl.qll @@ -6,7 +6,7 @@ private import experimental.semmle.code.cpp.semantic.SemanticBound as SemanticBo private import semmle.code.cpp.ir.IR as IR private import semmle.code.cpp.Location // TODO: SemLocation? -private module ConstantBounds implements BoundSig { +module ConstantBounds implements BoundSig { class SemBound instanceof SemanticBound::SemBound { SemBound() { this instanceof SemanticBound::SemZeroBound diff --git a/cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.ql b/cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.ql index bb335a0b30f..bae958e1076 100644 --- a/cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.ql +++ b/cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.ql @@ -4,12 +4,12 @@ import experimental.semmle.code.cpp.semantic.Semantic import experimental.semmle.code.cpp.semantic.analysis.RangeUtils import experimental.semmle.code.cpp.semantic.analysis.FloatDelta import experimental.semmle.code.cpp.semantic.analysis.RangeAnalysisSpecific -import experimental.semmle.code.cpp.semantic.analysis.RangeAnalysis +import experimental.semmle.code.cpp.semantic.analysis.RangeAnalysisImpl import semmle.code.cpp.ir.IR as IR import TestUtilities.InlineExpectationsTest module ModulusAnalysisInstantiated = - ModulusAnalysis>; + ModulusAnalysis>; class ModulusAnalysisTest extends InlineExpectationsTest { ModulusAnalysisTest() { this = "ModulusAnalysisTest" }