From 8ec04d2b81d0493de5240743849972f6d3678fb2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 15 Oct 2025 14:46:37 +0200
Subject: [PATCH] Add m_lemmas member to theory_finite_set class

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

diff --git a/src/smt/theory_finite_set.h b/src/smt/theory_finite_set.h
index 996e0da45..38480ba87 100644
--- a/src/smt/theory_finite_set.h
+++ b/src/smt/theory_finite_set.h
@@ -95,6 +95,7 @@ namespace smt {
         finite_set_util           u;
         finite_set_axioms         m_axioms;
         obj_hashtable<enode>      m_elements;             // set of all 'x' where there is an 'x in S' atom
+        vector<expr_ref_vector>   m_lemmas;
         
     protected:
         // Override relevant methods from smt::theory