From 75749dc441e24c1f9afd48b2ec3252f8ed0f3650 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 16 Oct 2025 12:47:59 +0200 Subject: [PATCH] Update finite_set_value_factory.h --- src/model/finite_set_value_factory.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/model/finite_set_value_factory.h b/src/model/finite_set_value_factory.h index 68e19796a..647030e93 100644 --- a/src/model/finite_set_value_factory.h +++ b/src/model/finite_set_value_factory.h @@ -13,13 +13,13 @@ Abstract: #pragma once #include "model/struct_factory.h" -#include "ast/array_decl_plugin.h" +#include "ast/finite_set_decl_plugin.h" /** \brief Factory for finite set values. */ class finite_set_value_factory : public struct_factory { - array_util m_util; + finite_set_util m_util; public: finite_set_value_factory(ast_manager & m, family_id fid, model_core & md);