Add identifiers for extended function reductions (#6314)

[cvc5.git] / src / context / cdtrail_queue.h

diff --git a/src/context/cdtrail_queue.h b/src/context/cdtrail_queue.h
index cf36156cf97d313228728fef2bfc4b75307f68fe..abdd83f99633b7663afb524708d22a28c6c00058 100644 (file)
--- a/src/context/cdtrail_queue.h
+++ b/src/context/cdtrail_queue.h
@@ -22,12 +22,13 @@
 #ifndef CVC4__CONTEXT__CDTRAIL_QUEUE_H
 #define CVC4__CONTEXT__CDTRAIL_QUEUE_H
 
-#include "context/context.h"
 #include "context/cdlist.h"
+#include "context/cdo.h"
 
-namespace CVC4 {
+namespace cvc5 {
 namespace context {
 
+class Context;
 
 template <class T>
 class CDTrailQueue {
@@ -88,7 +89,7 @@ public:
 
 };/* class CDTrailQueue<> */
 
-}/* CVC4::context namespace */
-}/* CVC4 namespace */
+}  // namespace context
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDTRAIL_QUEUE_H */