diff options
Diffstat (limited to 'src/util/integer_gmp_imp.cpp')
| -rw-r--r-- | src/util/integer_gmp_imp.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/integer_gmp_imp.cpp b/src/util/integer_gmp_imp.cpp index 89f6dc308..d1e0d7108 100644 --- a/src/util/integer_gmp_imp.cpp +++ b/src/util/integer_gmp_imp.cpp @@ -31,7 +31,7 @@ using namespace std; -namespace CVC4 { +namespace CVC5 { Integer::Integer(const char* s, unsigned base) : d_value(s, base) @@ -483,4 +483,4 @@ const Integer& Integer::max(const Integer& a, const Integer& b) return (a >= b) ? a : b; } -} /* namespace CVC4 */ +} // namespace CVC5 |