From 05e599b55a0bdaca5fb85cf2e27adcf2e4a56d4d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Oct 2025 12:58:02 +0200 Subject: [PATCH] Change membership elements to use enode type --- src/smt/theory_finite_set.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/smt/theory_finite_set.h b/src/smt/theory_finite_set.h index 0bb6f9ac5..996e0da45 100644 --- a/src/smt/theory_finite_set.h +++ b/src/smt/theory_finite_set.h @@ -94,8 +94,7 @@ namespace smt { class theory_finite_set : public theory { finite_set_util u; finite_set_axioms m_axioms; - obj_hashtable m_membership_elements; // set of all 'x' where there is an 'x in S' atom - ptr_vector m_elements; // list of added x in m_membership_elements + obj_hashtable m_elements; // set of all 'x' where there is an 'x in S' atom protected: // Override relevant methods from smt::theory