walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

exprengine: fix appveyor failure

This commit is contained in:
Daniel Marjamäki 2022-01-03 20:39:15 +01:00
parent d53352b2c2
commit 0cba2962ba
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/exprengine.cpp
View File

@ -150,7 +150,7 @@
#define Z3_VERSION_INT GET_VERSION_INT(Z3_MAJOR_VERSION, Z3_MINOR_VERSION, Z3_BUILD_NUMBER)
#endif
constexpr auto MAX_BUFFER_SIZE = ~0UL;
const std::uint64_t MAX_BUFFER_SIZE = ~0ULL;
#define CONTRACT 1
namespace {