From e17b43617c90aa6e136b1bce93b2fa4ec972e8c5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 24 Jul 2019 12:05:48 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/arith_rewriter.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/ast/rewriter/arith_rewriter.cpp b/src/ast/rewriter/arith_rewriter.cpp index ddaa0339e..b2d9fcb5d 100644 --- a/src/ast/rewriter/arith_rewriter.cpp +++ b/src/ast/rewriter/arith_rewriter.cpp @@ -274,9 +274,8 @@ bool arith_rewriter::elim_to_real_pol(expr * p, expr_ref & new_p) { if (m_util.is_add(p)) { expr_ref_buffer new_monomials(m()); expr_ref new_monomial(m()); - unsigned num = to_app(p)->get_num_args(); - for (unsigned i = 0; i < num; i++) { - if (!elim_to_real_mon(to_app(p)->get_arg(i), new_monomial)) + for (expr* arg : *to_app(p)) { + if (!elim_to_real_mon(arg, new_monomial)) return false; new_monomials.push_back(new_monomial); }