diff options
Diffstat (limited to 'src/theory/arith/delta_rational.h')
-rw-r--r-- | src/theory/arith/delta_rational.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h index 26212ec66..b75f5334c 100644 --- a/src/theory/arith/delta_rational.h +++ b/src/theory/arith/delta_rational.h @@ -46,11 +46,11 @@ public: DeltaRational(const CVC4::Rational& base, const CVC4::Rational& coeff) : c(base), k(coeff) {} - const CVC4::Rational& getInfintestimalPart() const { + const CVC4::Rational& getInfinitesimalPart() const { return k; } - const CVC4::Rational& getNoninfintestimalPart() const { + const CVC4::Rational& getNoninfinitesimalPart() const { return c; } |