From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 5 May 2010 21:23:18 +0000 (+0000)
Subject: changing the interface to bit-vector constant constructor
X-Git-Tag: cvc5-1.0.0~9076
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=74929ac3d7bcc47ddc0e607bb6b1a77ed1be81d2;p=cvc5.git

changing the interface to bit-vector constant constructor
---

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() {}