diff options
Diffstat (limited to 'src/util/bitvector.h')
| -rw-r--r-- | src/util/bitvector.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/bitvector.h b/src/util/bitvector.h index d1bfafb00..ca69fb506 100644 --- a/src/util/bitvector.h +++ b/src/util/bitvector.h @@ -98,7 +98,7 @@ public: return BitVector(d_size + other.d_size, (d_value * Integer(2).pow(other.d_size)) + other.d_value); } - BitVector extract(unsigned high, unsigned low) { + BitVector extract(unsigned high, unsigned low) const { return BitVector(high - low + 1, (d_value % (Integer(2).pow(high + 1))) / Integer(2).pow(low)); } |