From cffc449795c777217c6412998c7900ad80c389e8 Mon Sep 17 00:00:00 2001 From: Liana Hadarean Date: Tue, 16 Jul 2013 17:59:31 -0500 Subject: [PATCH] fixed seg fault when bv equality is turned off --- src/theory/bv/theory_bv.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp index 224359952..38d3a2f5e 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -72,7 +72,9 @@ TheoryBV::~TheoryBV() { } void TheoryBV::setMasterEqualityEngine(eq::EqualityEngine* eq) { - dynamic_cast(d_subtheoryMap[SUB_CORE])->setMasterEqualityEngine(eq); + if (options::bvEquality()) { + dynamic_cast(d_subtheoryMap[SUB_CORE])->setMasterEqualityEngine(eq); + } } TheoryBV::Statistics::Statistics(): -- 2.30.2