diff options
Diffstat (limited to 'src/expr/node_self_iterator.h')
-rw-r--r-- | src/expr/node_self_iterator.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/node_self_iterator.h b/src/expr/node_self_iterator.h index 475e0a122..831eace65 100644 --- a/src/expr/node_self_iterator.h +++ b/src/expr/node_self_iterator.h @@ -24,7 +24,7 @@ #include "base/check.h" #include "expr/node.h" -namespace CVC4 { +namespace CVC5 { namespace expr { class NodeSelfIterator : public std::iterator<std::input_iterator_tag, Node> { @@ -122,7 +122,7 @@ inline bool NodeSelfIterator::operator!=(NodeSelfIterator i) const { return !(*this == i); } -}/* CVC4::expr namespace */ -}/* CVC4 namespace */ +} // namespace expr +} // namespace CVC5 #endif /* CVC4__EXPR__NODE_SELF_ITERATOR_H */ |