From e5e16268cc4ed46f7f98cd3e96d72115af59993c Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Thu, 12 Jan 2023 12:20:28 -0700
Subject: [PATCH] Initialize m_istamp_id in lookahead::init (#6533)

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

diff --git a/src/sat/sat_lookahead.cpp b/src/sat/sat_lookahead.cpp
index 83e5b9ca5..2fa7ed040 100644
--- a/src/sat/sat_lookahead.cpp
+++ b/src/sat/sat_lookahead.cpp
@@ -1001,6 +1001,7 @@ namespace sat {
         m_inconsistent = false;
         m_qhead = 0;
         m_bstamp_id = 0;
+        m_istamp_id = 0;
 
         for (unsigned i = 0; i < m_num_vars; ++i) {
             init_var(i);