mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Fix initialization order on theory_seq.
This commit is contained in:
parent
1d4d95aea2
commit
6567698199
|
@ -208,8 +208,8 @@ theory_seq::theory_seq(ast_manager& m, theory_seq_params const & params):
|
|||
m_axioms(m),
|
||||
m_axioms_head(0),
|
||||
m_int_string(m),
|
||||
m_mg(nullptr),
|
||||
m_length(m),
|
||||
m_mg(nullptr),
|
||||
m_rewrite(m),
|
||||
m_seq_rewrite(m),
|
||||
m_util(m),
|
||||
|
|
Loading…
Reference in a new issue