clear up a bunch of windows warnings (#1086)

This commit is contained in:
Greg Landrum
2016-10-04 12:46:07 +02:00
committed by Brian Kelley
parent bcb2fb23ff
commit 7fa3cae4cd
10 changed files with 43 additions and 41 deletions

View File

@@ -41,7 +41,8 @@ class ExplicitBitVect : public BitVect {
//! construct directly from a dynamic_bitset pointer
// takes ownership of the pointer
ExplicitBitVect(boost::dynamic_bitset<> *bits)
: dp_bits(bits), d_size(bits->size()), d_numOnBits(bits->count()){};
: dp_bits(bits), d_size(static_cast<unsigned int>(bits->size())),
d_numOnBits(static_cast<unsigned int>(bits->count())){};
~ExplicitBitVect();