New C++ Api: Rename and move headers. (#6292)

8 files changed, 8 insertions, 8 deletions

diff --git a/test/api/boilerplate.cpp b/test/api/boilerplate.cpp
index cc71a48ae..73abb3e19 100644
--- a/test/api/boilerplate.cpp
+++ b/test/api/boilerplate.cpp
@@ -19,7 +19,7 @@
 #include <iostream>
 #include <sstream>
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 
 using namespace cvc5::api;
 using namespace std;
diff --git a/test/api/issue4889.cpp b/test/api/issue4889.cpp
index 2b57781b6..ed2340c18 100644
--- a/test/api/issue4889.cpp
+++ b/test/api/issue4889.cpp
@@ -12,7 +12,7 @@
  ** \brief Test for issue #4889
  **/
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 
 using namespace cvc5::api;
 
diff --git a/test/api/issue5074.cpp b/test/api/issue5074.cpp
index ab58797ee..d0000c710 100644
--- a/test/api/issue5074.cpp
+++ b/test/api/issue5074.cpp
@@ -12,7 +12,7 @@
  ** \brief Test for issue #5074
  **/
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 
 using namespace cvc5::api;
 
diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp
index 8686cbeb1..96698b4d2 100644
--- a/test/api/ouroborous.cpp
+++ b/test/api/ouroborous.cpp
@@ -28,7 +28,7 @@
 #include <iostream>
 #include <string>
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 #include "options/set_language.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
diff --git a/test/api/reset_assertions.cpp b/test/api/reset_assertions.cpp
index 46941e36d..5e31b0b5e 100644
--- a/test/api/reset_assertions.cpp
+++ b/test/api/reset_assertions.cpp
@@ -20,7 +20,7 @@
 #include <iostream>
 #include <sstream>
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 
 using namespace cvc5::api;
 
diff --git a/test/api/sep_log_api.cpp b/test/api/sep_log_api.cpp
index 8599a36e1..1ce8e9c70 100644
--- a/test/api/sep_log_api.cpp
+++ b/test/api/sep_log_api.cpp
@@ -22,7 +22,7 @@
 #include <iostream>
 #include <sstream>
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 
 using namespace cvc5::api;
 using namespace std;
diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp
index 0510e59db..a3ae59eda 100644
--- a/test/api/smt2_compliance.cpp
+++ b/test/api/smt2_compliance.cpp
@@ -18,7 +18,7 @@
 #include <iostream>
 #include <sstream>
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 #include "options/options.h"
 #include "options/set_language.h"
 #include "parser/parser.h"
diff --git a/test/api/two_solvers.cpp b/test/api/two_solvers.cpp
index d28f0ceb5..b55678b1a 100644
--- a/test/api/two_solvers.cpp
+++ b/test/api/two_solvers.cpp
@@ -17,7 +17,7 @@
 #include <iostream>
 #include <sstream>
 
-#include "api/cvc4cpp.h"
+#include "api/cpp/cvc5.h"
 
 using namespace cvc5::api;
 using namespace std;