diff options
Diffstat (limited to 'src/util/real_algebraic_number_poly_imp.cpp')
| -rw-r--r-- | src/util/real_algebraic_number_poly_imp.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/real_algebraic_number_poly_imp.cpp b/src/util/real_algebraic_number_poly_imp.cpp index 6a8111b55..5c7dd9468 100644 --- a/src/util/real_algebraic_number_poly_imp.cpp +++ b/src/util/real_algebraic_number_poly_imp.cpp @@ -28,7 +28,7 @@ #include "base/check.h" #include "util/poly_util.h" -namespace CVC5 { +namespace cvc5 { RealAlgebraicNumber::RealAlgebraicNumber(poly::AlgebraicNumber&& an) : d_value(std::move(an)) @@ -174,4 +174,4 @@ int sgn(const RealAlgebraicNumber& ran) { return sgn(ran.getValue()); } bool isZero(const RealAlgebraicNumber& ran) { return is_zero(ran.getValue()); } bool isOne(const RealAlgebraicNumber& ran) { return is_one(ran.getValue()); } -} // namespace CVC5 +} // namespace cvc5 |