From d39e1b906b47ef8e953dac297fa0fb565dd040a4 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Tue, 17 Aug 2021 09:45:23 -0500 Subject: [PATCH] Make theory BV use central eq engine when option is enabled (#7025) --- src/theory/theory.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index b774d456a..04bab16e2 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -620,7 +620,7 @@ bool Theory::usesCentralEqualityEngine(TheoryId id) } return id == THEORY_UF || id == THEORY_DATATYPES || id == THEORY_BAGS || id == THEORY_FP || id == THEORY_SETS || id == THEORY_STRINGS - || id == THEORY_SEP || id == THEORY_ARRAYS; + || id == THEORY_SEP || id == THEORY_ARRAYS || id == THEORY_BV; } bool Theory::expUsingCentralEqualityEngine(TheoryId id) -- 2.30.2