diff options
Diffstat (limited to 'src/expr/node_value.cpp')
| -rw-r--r-- | src/expr/node_value.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index dc682a9fb..027c15a0a 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -31,7 +31,7 @@ using namespace std; -namespace CVC4 { +namespace CVC5 { namespace expr { string NodeValue::toString() const { @@ -94,5 +94,5 @@ NodeValue::iterator<NodeTemplate<false> > operator+( return i + p; } -} /* CVC4::expr namespace */ -} /* CVC4 namespace */ +} // namespace expr +} // namespace CVC5 |