1 files changed, 7 insertions, 2 deletions
diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index edf4e987d..51239cbbb 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -245,8 +245,13 @@ struct UnsignedHashStrategy {
   }
 };
 
-std::ostream& operator <<(std::ostream& os, const BitVector& bv);
-std::ostream& operator <<(std::ostream& os, const BitVectorExtract& bv);
+inline std::ostream& operator <<(std::ostream& os, const BitVector& bv) {
+  return os << bv.toString();
+}
+
+inline std::ostream& operator <<(std::ostream& os, const BitVectorExtract& bv) {
+  return os << "[" << bv.high << ":" << bv.low << "]";
+}
 
 }/* CVC4 namespace */