diff options
Diffstat (limited to 'src/expr/node_traversal.cpp')
-rw-r--r-- | src/expr/node_traversal.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node_traversal.cpp b/src/expr/node_traversal.cpp index f3b4c2ede..c7d3ab3f8 100644 --- a/src/expr/node_traversal.cpp +++ b/src/expr/node_traversal.cpp @@ -16,7 +16,7 @@ #include <functional> -namespace CVC4 { +namespace CVC5 { NodeDfsIterator::NodeDfsIterator(TNode n, VisitOrder order, @@ -156,4 +156,4 @@ NodeDfsIterator NodeDfsIterable::end() const return NodeDfsIterator(d_order); } -} // namespace CVC4 +} // namespace CVC5 |