ppAsert -> ppAssert

2 files changed, 2 insertions, 2 deletions

diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp
index 1c01c35ab..b10fc964d 100644
--- a/src/theory/arith/theory_arith.cpp
+++ b/src/theory/arith/theory_arith.cpp
@@ -167,7 +167,7 @@ Node TheoryArith::ppRewrite(TNode atom) {
   return a;
 }
 
-Theory::PPAssertStatus TheoryArith::ppAsert(TNode in, SubstitutionMap& outSubstitutions) {
+Theory::PPAssertStatus TheoryArith::ppAssert(TNode in, SubstitutionMap& outSubstitutions) {
   TimerStat::CodeTimer codeTimer(d_statistics.d_simplifyTimer);
   Debug("simplify") << "TheoryArith::solve(" << in << ")" << endl;
 
diff --git a/src/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h
index 9e6a725bf..c19a20ead 100644
--- a/src/theory/arith/theory_arith.h
+++ b/src/theory/arith/theory_arith.h
@@ -268,7 +268,7 @@ public:
 
   void presolve();
   void notifyRestart();
-  PPAssertStatus ppAsert(TNode in, SubstitutionMap& outSubstitutions);
+  PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions);
   Node ppRewrite(TNode atom);
   void ppStaticLearn(TNode in, NodeBuilder<>& learned);