1 files changed, 15 insertions, 2 deletions
diff --git a/src/theory/bv/bitblast_strategies.cpp b/src/theory/bv/bitblast_strategies.cpp
index dacd6a538..6cbec732c 100644
--- a/src/theory/bv/bitblast_strategies.cpp
+++ b/src/theory/bv/bitblast_strategies.cpp
@@ -175,7 +175,7 @@ Node inline sLessThanBB(const Bits&a, const Bits& b, bool orEqual) {
 
 
 Node UndefinedAtomBBStrategy(TNode node, Bitblaster* bb) {
-  Debug("bitvector") << "TheoryBV::Bitblaster Undefined bitblasting strategy for kind: "
+  Trace("bitvector") << "TheoryBV::Bitblaster Undefined bitblasting strategy for kind: "
                      << node.getKind() << "\n";
   Unreachable(); 
 }
@@ -261,6 +261,19 @@ Node DefaultUgeBB(TNode node, Bitblaster* bb){
   Unimplemented(); 
 }
 
+// Node DefaultSltBB(TNode node, Bitblaster* bb){
+//   Debug("bitvector-bb") << "Bitblasting node " << node  << "\n";
+//   // shoudl be rewritten in terms of ult
+//   Unimplemented(); 
+// }
+
+// Node DefaultSleBB(TNode node, Bitblaster* bb){
+//   Debug("bitvector-bb") << "Bitblasting node " << node  << "\n";
+//   // shoudl be rewritten in terms of ule
+//   Unimplemented(); 
+// }
+
+
 Node DefaultSltBB(TNode node, Bitblaster* bb){
   Debug("bitvector-bb") << "Bitblasting node " << node  << "\n";
 
@@ -301,7 +314,7 @@ Node DefaultSgeBB(TNode node, Bitblaster* bb){
 /// Term bitblasting strategies 
 
 void UndefinedTermBBStrategy(TNode node, Bits& bits, Bitblaster* bb) {
-  Debug("bitvector") << "theory::bv:: Undefined bitblasting strategy for kind: "
+  Trace("bitvector") << "theory::bv:: Undefined bitblasting strategy for kind: "
                      << node.getKind() << "\n";
   Unreachable(); 
 }