diff options
Diffstat (limited to 'src/util/bitvector.cpp')
| -rw-r--r-- | src/util/bitvector.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/util/bitvector.cpp b/src/util/bitvector.cpp index f5e8c9b16..9233bde53 100644 --- a/src/util/bitvector.cpp +++ b/src/util/bitvector.cpp @@ -58,10 +58,10 @@ size_t BitVector::hash() const return d_value.hash() + d_size; } -BitVector BitVector::setBit(uint32_t i) const +BitVector BitVector::setBit(uint32_t i, bool value) const { CheckArgument(i < d_size, i); - Integer res = d_value.setBit(i); + Integer res = d_value.setBit(i, value); return BitVector(d_size, res); } @@ -362,7 +362,7 @@ BitVector BitVector::mkOnes(unsigned size) BitVector BitVector::mkMinSigned(unsigned size) { CheckArgument(size > 0, size); - return BitVector(size).setBit(size - 1); + return BitVector(size).setBit(size - 1, true); } BitVector BitVector::mkMaxSigned(unsigned size) |