From 291502f8e490d6119f78decfb5bc43dad97b8630 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 22 Nov 2020 21:20:13 -0800 Subject: [PATCH] this-> --- src/ast/rewriter/poly_rewriter_def.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/poly_rewriter_def.h b/src/ast/rewriter/poly_rewriter_def.h index cc7293fee..4a236283b 100644 --- a/src/ast/rewriter/poly_rewriter_def.h +++ b/src/ast/rewriter/poly_rewriter_def.h @@ -93,7 +93,7 @@ expr * poly_rewriter::mk_mul_app(unsigned num_args, expr * const * args) if (k_prev.is_one()) new_args.push_back(prev); else - new_args.push_back(mk_power(prev, k_prev)); + new_args.push_back(this->mk_power(prev, k_prev)); }; for (unsigned i = 1; i < num_args; i++) {