From 5b92f8fb80dc586d88321da4c84edd0337004257 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 31 Oct 2025 00:09:20 -0700 Subject: [PATCH] remove empty line Signed-off-by: Nikolaj Bjorner --- src/model/model.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/model/model.cpp b/src/model/model.cpp index 176b32e77..b5e316757 100644 --- a/src/model/model.cpp +++ b/src/model/model.cpp @@ -111,7 +111,6 @@ 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_factory, m, m.get_family_id("finite_set"), *this)); //m_factories.register_plugin(alloc(char_factory, m, char_decl_plugin(m).get_family_id()); }