From 99d5e608b1e1a7541406e86d16b8e3bf6e7e8f0a Mon Sep 17 00:00:00 2001 From: lianah Date: Tue, 14 May 2013 16:28:12 -0400 Subject: added some extra options to the bit-vector theory --- src/theory/bv/bv_subtheory.h | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/theory/bv/bv_subtheory.h') diff --git a/src/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h index 8374a3f75..1c6920236 100644 --- a/src/theory/bv/bv_subtheory.h +++ b/src/theory/bv/bv_subtheory.h @@ -55,9 +55,6 @@ inline std::ostream& operator << (std::ostream& out, SubTheory subtheory) { } -const bool d_useEqualityEngine = true; -const bool d_useSatPropagation = true; - // forward declaration class TheoryBV; -- cgit v1.2.3