Merge pull request #4 from tautschnig/bigint-size_t

BigInt::operator= for unsigned long (aka std::size_t)

Author: Daniel Kroening

src/big-int/bigint.hh

@@ -242,6 +242,7 @@ public:
   BigInt &operator/= (llong_t) _fast;
   BigInt &operator%= (llong_t) _fast;
 
+  BigInt &operator= (unsigned long x) { return (*this)=(ullong_t)x; }
   BigInt &operator+= (unsigned long x) { return (*this)+=(ullong_t)x; }
   BigInt &operator-= (unsigned long x) { return (*this)-=(ullong_t)x; }
   BigInt &operator*= (unsigned long x) { return (*this)*=(ullong_t)x; }