mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
initialize local variable
This commit is contained in:
parent
4defe9b6ab
commit
71e9bf1053
|
@ -355,6 +355,7 @@ namespace sat {
|
|||
|
||||
local_search::local_search() :
|
||||
m_is_unsat(false),
|
||||
m_initializing(false),
|
||||
m_par(nullptr) {
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue