diff options
Diffstat (limited to 'src/theory/arith/arith_rewriter.cpp')
-rw-r--r-- | src/theory/arith/arith_rewriter.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp index d8dd2cf58..4f93ba745 100644 --- a/src/theory/arith/arith_rewriter.cpp +++ b/src/theory/arith/arith_rewriter.cpp @@ -639,14 +639,16 @@ RewriteResponse ArithRewriter::preRewriteAtom(TNode atom){ RewriteResponse ArithRewriter::postRewrite(TNode t){ if(isTerm(t)){ RewriteResponse response = postRewriteTerm(t); - if(Debug.isOn("arith::rewriter") && response.status == REWRITE_DONE) { - Polynomial::parsePolynomial(response.node); + if (Debug.isOn("arith::rewriter") && response.d_status == REWRITE_DONE) + { + Polynomial::parsePolynomial(response.d_node); } return response; }else if(isAtom(t)){ RewriteResponse response = postRewriteAtom(t); - if(Debug.isOn("arith::rewriter") && response.status == REWRITE_DONE) { - Comparison::parseNormalForm(response.node); + if (Debug.isOn("arith::rewriter") && response.d_status == REWRITE_DONE) + { + Comparison::parseNormalForm(response.d_node); } return response; }else{ |