From 78be4719086a93c146646aec11f293e5bf40ba14 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 11 Sep 2017 00:00:40 +0200 Subject: [PATCH] fix OSX build Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/arith_rewriter.h | 1 - src/ast/rewriter/poly_rewriter_def.h | 1 - 2 files changed, 2 deletions(-) diff --git a/src/ast/rewriter/arith_rewriter.h b/src/ast/rewriter/arith_rewriter.h index 1bef9a964..95668ea44 100644 --- a/src/ast/rewriter/arith_rewriter.h +++ b/src/ast/rewriter/arith_rewriter.h @@ -56,7 +56,6 @@ class arith_rewriter : public poly_rewriter { bool m_anum_simp; bool m_elim_rem; bool m_eq2ineq; - bool m_process_all_eqs; unsigned m_max_degree; void get_coeffs_gcd(expr * t, numeral & g, bool & first, unsigned & num_consts); diff --git a/src/ast/rewriter/poly_rewriter_def.h b/src/ast/rewriter/poly_rewriter_def.h index 39c4a1078..029cf231a 100644 --- a/src/ast/rewriter/poly_rewriter_def.h +++ b/src/ast/rewriter/poly_rewriter_def.h @@ -1010,7 +1010,6 @@ bool poly_rewriter::is_var_plus_ground(expr * n, bool & inv, var * & v, stop = true; } if (is_ground(arg)) { - TRACE("model_checker_bug", tout << "pushing:\n" << mk_pp(arg, m()) << "\n";); args.push_back(arg); } else if (is_var(arg)) {