diff options
| -rw-r--r-- | src/util/bitvector.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/bitvector.h b/src/util/bitvector.h index a3ea2c489..2d01189c5 100644 --- 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() {} |