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;
   }