From ed369dee08771b8844501027d65494a179c94c99 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 16 Oct 2025 13:30:02 +0200 Subject: [PATCH] fixup Signed-off-by: Nikolaj Bjorner --- src/model/finite_set_value_factory.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/model/finite_set_value_factory.cpp b/src/model/finite_set_value_factory.cpp index 981075954..e0ffcbb64 100644 --- a/src/model/finite_set_value_factory.cpp +++ b/src/model/finite_set_value_factory.cpp @@ -50,6 +50,7 @@ expr * finite_set_value_factory::get_fresh_value(sort * s) { auto& [set_e, values_e] = get_value_set(elem_sort); unsigned next_index = values.size(); + // Course Task of 10-16-25: // For finite domains, we may not be able to generate fresh values // if all values have been exhausted // create sets based on next_index