From 624be326ad20f32af0e5ac23b6afcb6ffbcd68a3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Oct 2025 14:54:39 +0200 Subject: [PATCH] Add placeholder methods for lemma instantiation Added placeholder methods for lemma instantiation. --- src/smt/theory_finite_set.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/smt/theory_finite_set.cpp b/src/smt/theory_finite_set.cpp index 785512f4e..72b25d16a 100644 --- a/src/smt/theory_finite_set.cpp +++ b/src/smt/theory_finite_set.cpp @@ -202,4 +202,8 @@ namespace smt { return nullptr; } + void theory_finite_set::instantiate_false_lemma() {} + void theory_finite_set::instantiate_unit_propagation() {} + void theory_finite_set::instantiate_free_lemma() {} + } // namespace smt