From 74929ac3d7bcc47ddc0e607bb6b1a77ed1be81d2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Wed, 5 May 2010 21:23:18 +0000 Subject: [PATCH] changing the interface to bit-vector constant constructor --- src/util/bitvector.h | 4 ++-- 1 file 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() {} -- 2.30.2