mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-15 18:36:16 +00:00
Code Activity

fix build with clang

Browse source 
Signed-off-by: Nuno Lopes <nlopes@microsoft.com>
This commit is contained in:
Nuno Lopes 2015-11-27 12:13:44 +00:00
parent 8eea6fd775
commit 2739930900
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/mpz.cpp
View file

@ -134,7 +134,7 @@ mpz_manager<SYNCH>::mpz_manager():
#endif #endif
mpz one(1); mpz one(1);
set(m_two64, UINT64_MAX); set(m_two64, (uint64)UINT64_MAX);
add(m_two64, one, m_two64); add(m_two64, one, m_two64);
} }