diff options
Diffstat (limited to 'test/unit/test_api.h')
-rw-r--r-- | test/unit/test_api.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/test_api.h b/test/unit/test_api.h index 4722b63ea..033136524 100644 --- a/test/unit/test_api.h +++ b/test/unit/test_api.h @@ -18,15 +18,15 @@ #include "api/cvc4cpp.h" #include "gtest/gtest.h" -namespace CVC4 { +namespace CVC5 { namespace test { class TestApi : public ::testing::Test { protected: - CVC4::api::Solver d_solver; + CVC5::api::Solver d_solver; }; } // namespace test -} // namespace CVC4 +} // namespace CVC5 #endif |