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

fix warning

Browse source
This commit is contained in:
Murphy Berzish 2017-05-01 10:43:33 -04:00
parent 2f56d128b0
commit 3bce61e0d4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/smt_context.cpp
View file

@ -62,7 +62,6 @@ namespace smt {
m_is_diseq_tmp(0), m_is_diseq_tmp(0),
m_units_to_reassert(m_manager), m_units_to_reassert(m_manager),
m_qhead(0), m_qhead(0),
m_th_case_split_qhead(0),
m_simp_qhead(0), m_simp_qhead(0),
m_simp_counter(0), m_simp_counter(0),
m_bvar_inc(1.0), m_bvar_inc(1.0),
@ -75,6 +74,7 @@ namespace smt {
m_unsat_proof(m), m_unsat_proof(m),
m_unknown("unknown"), m_unknown("unknown"),
m_unsat_core(m), m_unsat_core(m),
m_th_case_split_qhead(0),
#ifdef Z3DEBUG #ifdef Z3DEBUG
m_trail_enabled(true), m_trail_enabled(true),
#endif #endif