bit-vector constant constructor from string

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 879680fd7753766f6e471565e3ae4b3fa30c2192..a3ea2c489f2d03324154e6cf9aae68d17b3e2a32 100644 (file)
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -37,6 +37,9 @@ 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() {}
 
   BitVector& operator =(const BitVector& x) {