mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-03 12:51:22 +00:00
Code Activity

Fix -Wreorder warning.

Browse source
This commit is contained in:
Bruce Mitchener 2019-06-01 15:44:21 +07:00
parent 60e4cad7f1
commit 759811b308
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ast/ast.cpp
View file

@ -738,13 +738,13 @@ basic_decl_plugin::basic_decl_plugin():
m_iff_oeq_decl(nullptr), m_iff_oeq_decl(nullptr),
m_skolemize_decl(nullptr), m_skolemize_decl(nullptr),
m_mp_oeq_decl(nullptr), m_mp_oeq_decl(nullptr),
m_hyper_res_decl0(nullptr),
m_assumption_add_decl(nullptr), m_assumption_add_decl(nullptr),
m_lemma_add_decl(nullptr), m_lemma_add_decl(nullptr),
m_th_assumption_add_decl(nullptr), m_th_assumption_add_decl(nullptr),
m_th_lemma_add_decl(nullptr), m_th_lemma_add_decl(nullptr),
m_redundant_del_decl(nullptr), m_redundant_del_decl(nullptr),
m_clause_trail_decl(nullptr) { m_clause_trail_decl(nullptr),
m_hyper_res_decl0(nullptr) {
} }
bool basic_decl_plugin::check_proof_sorts(basic_op_kind k, unsigned arity, sort * const * domain) const { bool basic_decl_plugin::check_proof_sorts(basic_op_kind k, unsigned arity, sort * const * domain) const {