From ab642f4c89cc5f79225dc07d1bb0bcec0015d53b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 16 Oct 2025 12:49:08 +0200 Subject: [PATCH] Rename member variable from m_util to u --- src/model/finite_set_value_factory.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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);