From 2b4ba5e170ba71446f69b3d1696a9246f7c1afc4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Sep 2022 17:21:06 -0700
Subject: [PATCH] updated header file for arithmetic solver

---
 src/sat/smt/arith_solver.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/smt/arith_solver.h b/src/sat/smt/arith_solver.h
index cf21e13b8..a1c89af76 100644
--- a/src/sat/smt/arith_solver.h
+++ b/src/sat/smt/arith_solver.h
@@ -218,6 +218,7 @@ namespace arith {
         svector<euf::enode_pair>                      m_equalities;      // asserted rows corresponding to equalities.
         svector<theory_var>                           m_definitions;     // asserted rows corresponding to definitions
         svector<std::pair<euf::th_eq, bool>>          m_delayed_eqs;
+        unsigned                                      m_delayed_eqs_qhead = 0;
 
         literal_vector  m_asserted;
         expr* m_not_handled{ nullptr };