diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-15 04:25:57 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-07-15 04:25:57 -0700 |
commit | d4c49e755a53e7333c7638a5aeafe8baa2ea56d3 (patch) | |
tree | d5e31f1b318cf85ed511c37f9afc5ab836700386 /src/options | |
parent | 292b2c5712ce31282ac3ec564f268ee7f0aa3506 (diff) |
Avoid ambiguous overloads in BitVector (#2169)
`long` is a 32-bit integer on Windows. CVC4's BitVector class had a
constructor for `unsigned int` and `unsigned long`, which lead to issues
with the new CVC4 C++ API because the two constructors were ambiguous
overloads. This commit changes the constructors to use `uint32_t` and
`uint64_t`, which are plattform independent and more explicit (mirroring
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions