From af432668be9e9841876cb9d6c0f83ab6f5bfdfad Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 18 Oct 2025 12:58:27 +0200 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/smt/theory_finite_set.h | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/smt/theory_finite_set.h b/src/smt/theory_finite_set.h index 1c23b1904..ff6cf8176 100644 --- a/src/smt/theory_finite_set.h +++ b/src/smt/theory_finite_set.h @@ -98,7 +98,6 @@ namespace smt { using th_union_find = union_find; friend class theory_finite_set_test; friend struct finite_set_value_proc; - friend class th_union_find; struct var_data { ptr_vector m_setops; @@ -188,16 +187,18 @@ namespace smt { // manage union-find of theory variables theory_var find(theory_var v) const { return m_find.find(v); } bool is_root(theory_var v) const { return m_find.is_root(v); } - trail_stack &get_trail_stack(); - void merge_eh(theory_var v1, theory_var v2, theory_var, theory_var); - void after_merge_eh(theory_var r1, theory_var r2, theory_var v1, theory_var v2) {} - void unmerge_eh(theory_var v1, theory_var v2) {} std::ostream &display_var(std::ostream &out, theory_var v) const; public: theory_finite_set(context& ctx); ~theory_finite_set() override; + + // for union-find + trail_stack &get_trail_stack(); + void merge_eh(theory_var v1, theory_var v2, theory_var, theory_var); + void after_merge_eh(theory_var r1, theory_var r2, theory_var v1, theory_var v2) {} + void unmerge_eh(theory_var v1, theory_var v2) {} }; } // namespace smt