diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-05 21:23:18 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-05 21:23:18 +0000 |
| commit | 74929ac3d7bcc47ddc0e607bb6b1a77ed1be81d2 (patch) | |
| tree | 7e6fa9a496c8c8ac282dc0aa6ae643cecfa15812 /src | |
| parent | c44b306f63279ca56345669e86c2f634d66b9f7a (diff) | |
changing the interface to bit-vector constant constructor
Diffstat (limited to 'src')
| -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() {} |