diff options
Diffstat (limited to 'src/expr/node_value.cpp')
-rw-r--r-- | src/expr/node_value.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index 027c15a0a..7b3e413f7 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -31,7 +31,7 @@ using namespace std; -namespace CVC5 { +namespace cvc5 { namespace expr { string NodeValue::toString() const { @@ -95,4 +95,4 @@ NodeValue::iterator<NodeTemplate<false> > operator+( } } // namespace expr -} // namespace CVC5 +} // namespace cvc5 |