From: Liana Hadarean <lianahady@gmail.com>
Date: Tue, 16 Jul 2013 22:59:31 +0000 (-0500)
Subject: fixed seg fault when bv equality is turned off
X-Git-Tag: cvc5-1.0.0~7287^2~59
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cffc449795c777217c6412998c7900ad80c389e8;p=cvc5.git

fixed seg fault when bv equality is turned off
---

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<CoreSolver*>(d_subtheoryMap[SUB_CORE])->setMasterEqualityEngine(eq);
+  if (options::bvEquality()) {
+    dynamic_cast<CoreSolver*>(d_subtheoryMap[SUB_CORE])->setMasterEqualityEngine(eq);
+  }
 }
 
 TheoryBV::Statistics::Statistics():