diff --git a/src/model/finite_set_value_factory.h b/src/model/finite_set_value_factory.h
index 647030e93..8dbbc7aae 100644
--- a/src/model/finite_set_value_factory.h
+++ b/src/model/finite_set_value_factory.h
@@ -19,7 +19,7 @@ Abstract:
    \brief Factory for finite set values.
 */
 class finite_set_value_factory : public struct_factory {
-    finite_set_util m_util;
+    finite_set_util u;
 public:
     finite_set_value_factory(ast_manager & m, family_id fid, model_core & md);