X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Fcontext%2Fcdtrail_queue.h;h=abdd83f99633b7663afb524708d22a28c6c00058;hb=6923f0cb9930332a61e187d3b4d1a7ec7e65b15c;hp=cf36156cf97d313228728fef2bfc4b75307f68fe;hpb=b302cb1f92aae1c0954c86065469e5c2b7206e74;p=cvc5.git

diff --git a/src/context/cdtrail_queue.h b/src/context/cdtrail_queue.h
index cf36156cf..abdd83f99 100644
--- 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 */