From 71e9bf10530280ec4335525ca2fb17f49addf4ed Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Apr 2020 16:36:53 -0700
Subject: [PATCH] initialize local variable

---
 src/sat/sat_local_search.cpp | 1 +
 1 file changed, 1 insertion(+)

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) {
     }