mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

fix parameter collection for tactic-based solvers reported in #3065

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-03-09 19:59:26 +01:00
parent c7a6721bf1
commit f7747d9e76
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/solver/tactic2solver.cpp
View file

@ -120,6 +120,7 @@ void tactic2solver::updt_params(params_ref const & p) {
}
void tactic2solver::collect_param_descrs(param_descrs & r) {
solver::collect_param_descrs(r);
if (m_tactic.get())
m_tactic->collect_param_descrs(r);
}