From d3e6ba9f98bd455239ad51bc0a2167fa64dbf72a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 31 Aug 2022 19:09:13 -0700 Subject: [PATCH] remove union Signed-off-by: Nikolaj Bjorner --- src/sat/smt/bv_solver.h | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/src/sat/smt/bv_solver.h b/src/sat/smt/bv_solver.h index 4166ebf7b..46948157c 100644 --- a/src/sat/smt/bv_solver.h +++ b/src/sat/smt/bv_solver.h @@ -56,15 +56,9 @@ namespace bv { unsigned m_idx = UINT_MAX; theory_var m_v1 = euf::null_theory_var; theory_var m_v2 = euf::null_theory_var; - union { - struct { - sat::literal m_consequent; - sat::literal m_antecedent; - }; - struct { - euf::enode* a, *b, *c; - }; - }; + sat::literal m_consequent; + sat::literal m_antecedent; + euf::enode* a, *b, *c; bv_justification(theory_var v1, theory_var v2, sat::literal c, sat::literal a) : m_kind(bv_justification::kind_t::eq2bit), m_v1(v1), m_v2(v2), m_consequent(c), m_antecedent(a) {}