mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
fix uninitialized variable
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
074ed0d874
commit
aa723f1eee
|
@ -345,7 +345,8 @@ seq_decl_plugin::seq_decl_plugin(): m_init(false),
|
|||
m_charc_sym("Char"),
|
||||
m_string(nullptr),
|
||||
m_char(nullptr),
|
||||
m_re(nullptr) {}
|
||||
m_re(nullptr),
|
||||
m_has_re(false) {}
|
||||
|
||||
void seq_decl_plugin::finalize() {
|
||||
for (unsigned i = 0; i < m_sigs.size(); ++i)
|
||||
|
|
Loading…
Reference in a new issue