mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 02:42:02 +00:00
Code Activity

this->

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-11-22 21:20:13 -08:00
parent 1008b2d4cb
commit 291502f8e4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/rewriter/poly_rewriter_def.h
View file

@ -93,7 +93,7 @@ expr * poly_rewriter<Config>::mk_mul_app(unsigned num_args, expr * const * args)
if (k_prev.is_one()) if (k_prev.is_one())
new_args.push_back(prev); new_args.push_back(prev);
else 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++) { for (unsigned i = 1; i < num_args; i++) {