diff --git a/src/sat/sat_local_search.cpp b/src/sat/sat_local_search.cpp
index 00c994471..8930fc24e 100644
--- a/src/sat/sat_local_search.cpp
+++ b/src/sat/sat_local_search.cpp
@@ -355,6 +355,7 @@ namespace sat {
 
     local_search::local_search() :         
         m_is_unsat(false),
+        m_initializing(false),
         m_par(nullptr) {
     }