From 1f6f4c14c00cef062d9c0e8044f6d9d3e1862539 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Oct 2025 21:59:47 +0200 Subject: [PATCH] Change family ID for finite_set_value_factory --- src/model/model.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/model/model.cpp b/src/model/model.cpp index ad113d5e8..02b495e72 100644 --- a/src/model/model.cpp +++ b/src/model/model.cpp @@ -112,7 +112,7 @@ value_factory* model::get_factory(sort* s) { m_factories.register_plugin(alloc(arith_factory, m)); m_factories.register_plugin(alloc(seq_factory, m, su.get_family_id(), *this)); m_factories.register_plugin(alloc(fpa_value_factory, m, fu.get_family_id())); - m_factories.register_plugin(alloc(finite_set_value_factory, m, m.mk_family_id("datalog"), *this)); + m_factories.register_plugin(alloc(finite_set_value_factory, m, m.mk_family_id("finite_set"), *this)); //m_factories.register_plugin(alloc(char_factory, m, char_decl_plugin(m).get_family_id()); } family_id fid = s->get_family_id();