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);