From a8486d6019e32e5eedb33d8fb5c306cf8c0463f2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 2 Sep 2024 16:36:58 -0700
Subject: [PATCH] Refactor alignment of member variables in bv_plugin of sls
 namespace

---
 src/ast/sls/sls_bv_plugin.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/sls/sls_bv_plugin.h b/src/ast/sls/sls_bv_plugin.h
index a185c5ef3..013f4ad3c 100644
--- a/src/ast/sls/sls_bv_plugin.h
+++ b/src/ast/sls/sls_bv_plugin.h
@@ -25,8 +25,8 @@ namespace sls {
 
     class bv_plugin : public plugin {
         bv_util             bv;
-        sls::bv_terms       m_terms;
-        bv_eval             m_eval;
+        bv_terms       m_terms;
+        bv_eval        m_eval;
         bv::sls_stats       m_stats;
         bool                m_initialized = false;