From 7fbf27309b7ef95365af7fd71e89069decd27c39 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Tue, 24 Jan 2023 11:12:30 +0100
Subject: [PATCH] rename

---
 src/math/polysat/univariate/univariate_solver.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/math/polysat/univariate/univariate_solver.cpp b/src/math/polysat/univariate/univariate_solver.cpp
index 013afb0a4..504a997ee 100644
--- a/src/math/polysat/univariate/univariate_solver.cpp
+++ b/src/math/polysat/univariate/univariate_solver.cpp
@@ -415,19 +415,19 @@ namespace polysat {
     };
 
     class univariate_bitblast_factory : public univariate_solver_factory {
-        symbol qf_bv;
-        scoped_ptr<solver_factory> sf;
+        symbol m_logic;
+        scoped_ptr<solver_factory> m_factory;
 
     public:
         univariate_bitblast_factory() :
-            qf_bv("QF_BV") {
-            sf = mk_smt_strategic_solver_factory(qf_bv);
+            m_logic("QF_BV") {
+            m_factory = mk_smt_strategic_solver_factory(m_logic);
         }
 
         ~univariate_bitblast_factory() override = default;
 
         scoped_ptr<univariate_solver> operator()(unsigned bit_width) override {
-            return alloc(univariate_bitblast_solver, *sf, bit_width);
+            return alloc(univariate_bitblast_solver, *m_factory, bit_width);
         }
     };