Rename CVC4__ header guards to CVC5__. (#6326)

13 files changed, 39 insertions, 39 deletions

diff --git a/src/context/backtrackable.h b/src/context/backtrackable.h
index 2c4fdff41..b128313a6 100644
--- a/src/context/backtrackable.h
+++ b/src/context/backtrackable.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__UTIL__BACKTRACKABLE_H
-#define CVC4__UTIL__BACKTRACKABLE_H
+#ifndef CVC5__UTIL__BACKTRACKABLE_H
+#define CVC5__UTIL__BACKTRACKABLE_H
 
 #include <cstdlib>
 #include <vector>
@@ -219,4 +219,4 @@ template <class T> void Backtracker<T>::checkConsistency() {
 
 }  // namespace cvc5
 
-#endif /* CVC4__UTIL__BACKTRACKABLE_H */
+#endif /* CVC5__UTIL__BACKTRACKABLE_H */
diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h
index a9f81d529..9a8ae925f 100644
--- a/src/context/cdhashmap.h
+++ b/src/context/cdhashmap.h
@@ -80,8 +80,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CDHASHMAP_H
-#define CVC4__CONTEXT__CDHASHMAP_H
+#ifndef CVC5__CONTEXT__CDHASHMAP_H
+#define CVC5__CONTEXT__CDHASHMAP_H
 
 #include <functional>
 #include <iterator>
@@ -455,4 +455,4 @@ public:
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDHASHMAP_H */
+#endif /* CVC5__CONTEXT__CDHASHMAP_H */
diff --git a/src/context/cdhashmap_forward.h b/src/context/cdhashmap_forward.h
index b6907322c..e7ca68bb4 100644
--- a/src/context/cdhashmap_forward.h
+++ b/src/context/cdhashmap_forward.h
@@ -23,8 +23,8 @@
 
 #include "cvc4_public.h"
 
-#ifndef CVC4__CONTEXT__CDHASHMAP_FORWARD_H
-#define CVC4__CONTEXT__CDHASHMAP_FORWARD_H
+#ifndef CVC5__CONTEXT__CDHASHMAP_FORWARD_H
+#define CVC5__CONTEXT__CDHASHMAP_FORWARD_H
 
 #include <functional>
 
@@ -39,4 +39,4 @@ class CDHashMap;
 
 /// \endcond
 
-#endif /* CVC4__CONTEXT__CDHASHMAP_FORWARD_H */
+#endif /* CVC5__CONTEXT__CDHASHMAP_FORWARD_H */
diff --git a/src/context/cdhashset.h b/src/context/cdhashset.h
index 1a31e6022..b7e9b051b 100644
--- a/src/context/cdhashset.h
+++ b/src/context/cdhashset.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CDHASHSET_H
-#define CVC4__CONTEXT__CDHASHSET_H
+#ifndef CVC5__CONTEXT__CDHASHSET_H
+#define CVC5__CONTEXT__CDHASHSET_H
 
 #include "base/check.h"
 #include "context/cdinsert_hashmap.h"
@@ -158,4 +158,4 @@ public:
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDHASHSET_H */
+#endif /* CVC5__CONTEXT__CDHASHSET_H */
diff --git a/src/context/cdhashset_forward.h b/src/context/cdhashset_forward.h
index 387c10ada..2601dfed8 100644
--- a/src/context/cdhashset_forward.h
+++ b/src/context/cdhashset_forward.h
@@ -23,8 +23,8 @@
 
 #include "cvc4_public.h"
 
-#ifndef CVC4__CONTEXT__CDSET_FORWARD_H
-#define CVC4__CONTEXT__CDSET_FORWARD_H
+#ifndef CVC5__CONTEXT__CDSET_FORWARD_H
+#define CVC5__CONTEXT__CDSET_FORWARD_H
 
 #include <functional>
 
@@ -35,4 +35,4 @@ class CDHashSet;
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDSET_FORWARD_H */
+#endif /* CVC5__CONTEXT__CDSET_FORWARD_H */
diff --git a/src/context/cdinsert_hashmap_forward.h b/src/context/cdinsert_hashmap_forward.h
index d636be1c1..5b9c0eb78 100644
--- a/src/context/cdinsert_hashmap_forward.h
+++ b/src/context/cdinsert_hashmap_forward.h
@@ -23,8 +23,8 @@
 
 #include "cvc4_public.h"
 
-#ifndef CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
-#define CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
+#ifndef CVC5__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
+#define CVC5__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
 
 #include <functional>
 
@@ -35,4 +35,4 @@ class CDInsertHashMap;
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H */
+#endif /* CVC5__CONTEXT__CDINSERT_HASHMAP_FORWARD_H */
diff --git a/src/context/cdlist.h b/src/context/cdlist.h
index 20b0f1e3d..c379e21c8 100644
--- a/src/context/cdlist.h
+++ b/src/context/cdlist.h
@@ -17,8 +17,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CDLIST_H
-#define CVC4__CONTEXT__CDLIST_H
+#ifndef CVC5__CONTEXT__CDLIST_H
+#define CVC5__CONTEXT__CDLIST_H
 
 #include <cstring>
 #include <iterator>
@@ -437,4 +437,4 @@ class CDList<T, CleanUp, ContextMemoryAllocator<T> > : public ContextObj {
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDLIST_H */
+#endif /* CVC5__CONTEXT__CDLIST_H */
diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h
index 5758b71ba..9575881e0 100644
--- a/src/context/cdlist_forward.h
+++ b/src/context/cdlist_forward.h
@@ -29,8 +29,8 @@
 
 #include "cvc4_public.h"
 
-#ifndef CVC4__CONTEXT__CDLIST_FORWARD_H
-#define CVC4__CONTEXT__CDLIST_FORWARD_H
+#ifndef CVC5__CONTEXT__CDLIST_FORWARD_H
+#define CVC5__CONTEXT__CDLIST_FORWARD_H
 
 #include <memory>
 
@@ -53,4 +53,4 @@ class CDList;
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDLIST_FORWARD_H */
+#endif /* CVC5__CONTEXT__CDLIST_FORWARD_H */
diff --git a/src/context/cdo.h b/src/context/cdo.h
index 393b584f1..7e3d892d7 100644
--- a/src/context/cdo.h
+++ b/src/context/cdo.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CDO_H
-#define CVC4__CONTEXT__CDO_H
+#ifndef CVC5__CONTEXT__CDO_H
+#define CVC5__CONTEXT__CDO_H
 
 #include "context/context.h"
 
@@ -178,4 +178,4 @@ public:
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDO_H */
+#endif /* CVC5__CONTEXT__CDO_H */
diff --git a/src/context/cdqueue.h b/src/context/cdqueue.h
index 12ca02754..acd31020a 100644
--- a/src/context/cdqueue.h
+++ b/src/context/cdqueue.h
@@ -22,8 +22,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CDQUEUE_H
-#define CVC4__CONTEXT__CDQUEUE_H
+#ifndef CVC5__CONTEXT__CDQUEUE_H
+#define CVC5__CONTEXT__CDQUEUE_H
 
 #include "context/context.h"
 #include "context/cdlist.h"
@@ -165,4 +165,4 @@ public:
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDQUEUE_H */
+#endif /* CVC5__CONTEXT__CDQUEUE_H */
diff --git a/src/context/cdtrail_queue.h b/src/context/cdtrail_queue.h
index abdd83f99..1cc8b1f70 100644
--- a/src/context/cdtrail_queue.h
+++ b/src/context/cdtrail_queue.h
@@ -19,8 +19,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CDTRAIL_QUEUE_H
-#define CVC4__CONTEXT__CDTRAIL_QUEUE_H
+#ifndef CVC5__CONTEXT__CDTRAIL_QUEUE_H
+#define CVC5__CONTEXT__CDTRAIL_QUEUE_H
 
 #include "context/cdlist.h"
 #include "context/cdo.h"
@@ -92,4 +92,4 @@ public:
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CDTRAIL_QUEUE_H */
+#endif /* CVC5__CONTEXT__CDTRAIL_QUEUE_H */
diff --git a/src/context/context.h b/src/context/context.h
index 438d9c28a..d6b458701 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CONTEXT_H
-#define CVC4__CONTEXT__CONTEXT_H
+#ifndef CVC5__CONTEXT__CONTEXT_H
+#define CVC5__CONTEXT__CONTEXT_H
 
 #include <cstdlib>
 #include <iostream>
@@ -742,4 +742,4 @@ inline void Scope::addToChain(ContextObj* pContextObj)
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CONTEXT_H */
+#endif /* CVC5__CONTEXT__CONTEXT_H */
diff --git a/src/context/context_mm.h b/src/context/context_mm.h
index cf597908a..22852b9a6 100644
--- a/src/context/context_mm.h
+++ b/src/context/context_mm.h
@@ -17,8 +17,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__CONTEXT__CONTEXT_MM_H
-#define CVC4__CONTEXT__CONTEXT_MM_H
+#ifndef CVC5__CONTEXT__CONTEXT_MM_H
+#define CVC5__CONTEXT__CONTEXT_MM_H
 
 #ifndef CVC4_DEBUG_CONTEXT_MEMORY_MANAGER
 #include <deque>
@@ -264,4 +264,4 @@ inline bool operator!=(const ContextMemoryAllocator<T>& a1,
 }  // namespace context
 }  // namespace cvc5
 
-#endif /* CVC4__CONTEXT__CONTEXT_MM_H */
+#endif /* CVC5__CONTEXT__CONTEXT_MM_H */