z3: another patch to fix gcc6 build

This commit is contained in:
Juergen Buchmueller 2016-09-23 10:13:13 +02:00
parent 3745a9dee2
commit c49a56defe
1 changed files with 11 additions and 0 deletions

View File

@ -9,3 +9,14 @@
if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached. if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached.
switch(result) { switch(result) {
case 'C': case 'C':
--- src/util/mpz.cpp 2015-10-05 14:07:19.000000000 +0200
+++ src/util/mpz.cpp 2016-09-23 10:10:19.116642705 +0200
@@ -134,7 +134,7 @@
#endif
mpz one(1);
- set(m_two64, UINT64_MAX);
+ set(m_two64, static_cast<uint64>(UINT64_MAX));
add(m_two64, one, m_two64);
}