From 33a5c0897bdbfb8367dfa90342471615908df1bc Mon Sep 17 00:00:00 2001
From: lianah <lianahady@gmail.com>
Date: Tue, 26 Mar 2013 16:55:29 -0400
Subject: [PATCH] core theory currently disabled

---
 src/theory/bv/slicer.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp
index 23ae5beec..121802b65 100644
--- a/src/theory/bv/slicer.cpp
+++ b/src/theory/bv/slicer.cpp
@@ -777,8 +777,8 @@ void Slicer::getBaseDecomposition(TNode node, std::vector<Node>& decomp, std::ve
 bool Slicer::isCoreTerm(TNode node) {
   if (d_coreTermCache.find(node) == d_coreTermCache.end()) {
     Kind kind = node.getKind(); 
-    if (kind != kind::BITVECTOR_EXTRACT &&
-        kind != kind::BITVECTOR_CONCAT &&
+    if (//kind != kind::BITVECTOR_EXTRACT &&
+        //kind != kind::BITVECTOR_CONCAT &&
         kind != kind::EQUAL &&
         kind != kind::STORE &&
         kind != kind::SELECT &&
-- 
2.30.2