From 8dae2b1d76de678be272df097259901463bdccbb Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Sat, 25 Feb 2012 22:35:53 +0000
Subject: ppAsert -> ppAssert

---
 src/theory/arith/theory_arith.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/arith/theory_arith.cpp')

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;
 
-- 
cgit v1.2.3