diff options
Diffstat (limited to 'src/util/abstract_value.cpp')
| -rw-r--r-- | src/util/abstract_value.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/abstract_value.cpp b/src/util/abstract_value.cpp index 2c82b98e9..4f6cadde4 100644 --- a/src/util/abstract_value.cpp +++ b/src/util/abstract_value.cpp @@ -24,7 +24,7 @@ using namespace std; -namespace CVC4 { +namespace CVC5 { std::ostream& operator<<(std::ostream& out, const AbstractValue& val) { return out << "@" << val.getIndex(); @@ -38,4 +38,4 @@ AbstractValue::AbstractValue(Integer index) : d_index(index) index.toString().c_str()); } -}/* CVC4 namespace */ +} // namespace CVC5 |