diff options
Diffstat (limited to 'test/unit/preprocessing/pass_bv_gauss_white.cpp')
| -rw-r--r-- | test/unit/preprocessing/pass_bv_gauss_white.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/preprocessing/pass_bv_gauss_white.cpp b/test/unit/preprocessing/pass_bv_gauss_white.cpp index 2bafd7f30..130d6b1cf 100644 --- a/test/unit/preprocessing/pass_bv_gauss_white.cpp +++ b/test/unit/preprocessing/pass_bv_gauss_white.cpp @@ -29,7 +29,7 @@ #include "theory/rewriter.h" #include "util/bitvector.h" -namespace CVC4 { +namespace CVC5 { using namespace preprocessing; using namespace preprocessing::passes; @@ -3099,4 +3099,4 @@ TEST_F(TestPPWhiteBVGauss, get_min_bw5b) ASSERT_EQ(BVGauss::getMinBwExpr(Rewriter::rewrite(plus7)), 17); } } // namespace test -} // namespace CVC4 +} // namespace CVC5 |