summaryrefslogtreecommitdiff
path: root/test/unit/test_api.h
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit/test_api.h')
-rw-r--r--test/unit/test_api.h6
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback