From f7747d9e76bd685a02ce5c5fbda91fc356856b5e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 9 Mar 2020 19:59:26 +0100 Subject: [PATCH] fix parameter collection for tactic-based solvers reported in #3065 Signed-off-by: Nikolaj Bjorner --- src/solver/tactic2solver.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/solver/tactic2solver.cpp b/src/solver/tactic2solver.cpp index f670479bc..a575e909d 100644 --- a/src/solver/tactic2solver.cpp +++ b/src/solver/tactic2solver.cpp @@ -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); }