core theory currently disabled

diff --git a/src/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp
index 23ae5beecc944df8a3139ced0ad3ed7083c2fb60..121802b6551939011650fae871dbaea30821e7ab 100644 (file)
--- 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 &&