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

Fix -Wreorder warning.

Browse source
This commit is contained in:
Bruce Mitchener 2019-08-05 08:35:28 +07:00 • committed by Nikolaj Bjorner
parent ce7f9c3f3d
commit 077f518241
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_model_checker.cpp
View file

@ -49,8 +49,8 @@ namespace smt {
m_iteration_idx(0), m_iteration_idx(0),
m_has_rec_fun(false), m_has_rec_fun(false),
m_curr_model(nullptr), m_curr_model(nullptr),
m_pinned_exprs(m), m_fresh_exprs(m),
m_fresh_exprs(m) { m_pinned_exprs(m) {
} }
model_checker::~model_checker() { model_checker::~model_checker() {