mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
fix #6158
This commit is contained in:
parent
8e23af33d7
commit
a3eb9da191
|
@ -594,6 +594,7 @@ void cmd_context::global_params_updated() {
|
|||
m_params.updt_params();
|
||||
if (m_params.m_smtlib2_compliant)
|
||||
m_print_success = true;
|
||||
set_produce_proofs(m_params.m_proof);
|
||||
if (m_solver) {
|
||||
params_ref p;
|
||||
if (!m_params.m_auto_config)
|
||||
|
|
Loading…
Reference in a new issue