6 files changed, 13 insertions, 13 deletions
diff --git a/test/unit/memory.h b/test/unit/memory.h
index f9bdd7851..726404e5e 100644
--- a/test/unit/memory.h
+++ b/test/unit/memory.h
@@ -29,8 +29,8 @@
 
 #include "test.h"
 
-#ifndef __CVC4__TEST__UNIT__MEMORY_H
-#define __CVC4__TEST__UNIT__MEMORY_H
+#ifndef __CVC5__TEST__UNIT__MEMORY_H
+#define __CVC5__TEST__UNIT__MEMORY_H
 
 #include <string>
 #include <sys/resource.h>
@@ -94,4 +94,4 @@ class WithLimitedMemory {
 #undef CVC4_MEMORY_LIMITING_DISABLED_REASON
 #endif /* CVC4_MEMORY_LIMITING_DISABLED_REASON */
 
-#endif /* __CVC4__TEST__MEMORY_H */
+#endif /* __CVC5__TEST__MEMORY_H */
diff --git a/test/unit/test.h b/test/unit/test.h
index 11cefc66b..383360302 100644
--- a/test/unit/test.h
+++ b/test/unit/test.h
@@ -12,8 +12,8 @@
  ** \brief Common header for API unit test.
  **/
 
-#ifndef CVC4__TEST__UNIT__TEST_H
-#define CVC4__TEST__UNIT__TEST_H
+#ifndef CVC5__TEST__UNIT__TEST_H
+#define CVC5__TEST__UNIT__TEST_H
 
 #include "gtest/gtest.h"
 
diff --git a/test/unit/test_api.h b/test/unit/test_api.h
index b66dd58bc..be0ef46d0 100644
--- a/test/unit/test_api.h
+++ b/test/unit/test_api.h
@@ -12,8 +12,8 @@
  ** \brief Common header for API unit test.
  **/
 
-#ifndef CVC4__TEST__UNIT__TEST_API_H
-#define CVC4__TEST__UNIT__TEST_API_H
+#ifndef CVC5__TEST__UNIT__TEST_API_H
+#define CVC5__TEST__UNIT__TEST_API_H
 
 #include "api/cpp/cvc5.h"
 #include "gtest/gtest.h"
diff --git a/test/unit/test_context.h b/test/unit/test_context.h
index 0f21b2898..3ab333806 100644
--- a/test/unit/test_context.h
+++ b/test/unit/test_context.h
@@ -12,8 +12,8 @@
  ** \brief Header for context unit tests.
  **/
 
-#ifndef CVC4__TEST__UNIT__TEST_CONTEXT_H
-#define CVC4__TEST__UNIT__TEST_CONTEXT_H
+#ifndef CVC5__TEST__UNIT__TEST_CONTEXT_H
+#define CVC5__TEST__UNIT__TEST_CONTEXT_H
 
 #include "context/context.h"
 #include "test.h"
diff --git a/test/unit/test_node.h b/test/unit/test_node.h
index dacc1f543..ff6ef9b09 100644
--- a/test/unit/test_node.h
+++ b/test/unit/test_node.h
@@ -12,8 +12,8 @@
  ** \brief Common header for Node unit tests.
  **/
 
-#ifndef CVC4__TEST__UNIT__TEST_NODE_H
-#define CVC4__TEST__UNIT__TEST_NODE_H
+#ifndef CVC5__TEST__UNIT__TEST_NODE_H
+#define CVC5__TEST__UNIT__TEST_NODE_H
 
 #include "expr/node_manager.h"
 #include "expr/skolem_manager.h"
diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h
index 425e61bc2..4307fd1ba 100644
--- a/test/unit/test_smt.h
+++ b/test/unit/test_smt.h
@@ -12,8 +12,8 @@
  ** \brief Common header for unit tests that need an SmtEngine.
  **/
 
-#ifndef CVC4__TEST__UNIT__TEST_SMT_H
-#define CVC4__TEST__UNIT__TEST_SMT_H
+#ifndef CVC5__TEST__UNIT__TEST_SMT_H
+#define CVC5__TEST__UNIT__TEST_SMT_H
 
 #include "expr/dtype_cons.h"
 #include "expr/node.h"