changing the interface to bit-vector constant constructor

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index a3ea2c489f2d03324154e6cf9aae68d17b3e2a32..2d01189c5a040d6f7611aa9cc2464e4c07a87bc2 100644 (file)
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -37,8 +37,8 @@ public:
   BitVector(unsigned size, const BitVector& q)
   : d_size(size), d_value(q.d_value) {}
 
-  BitVector(unsigned size, const std::string& num, unsigned base = 2)
-  : d_size(size), d_value(0) {}
+  BitVector(const std::string& num, unsigned base = 2)
+  : d_size(1), d_value(0) {}
 
   ~BitVector() {}