1 files changed, 10 insertions, 0 deletions
diff --git a/src/context/cdqueue.h b/src/context/cdqueue.h
index d8f6c42f1..b43217cfe 100644
--- a/src/context/cdqueue.h
+++ b/src/context/cdqueue.h
@@ -151,6 +151,16 @@ public:
     return ParentType::d_list[ParentType::d_size - 1];
   }
 
+  typedef typename ParentType::const_iterator const_iterator;
+
+  const_iterator begin() const {
+    return ParentType::begin() + d_iter;
+  }
+
+  const_iterator end() const {
+    return ParentType::end();
+  }
+
 };/* class CDQueue<> */
 
 }/* CVC4::context namespace */