Bug#835743: z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous

[Fabian Wolff]

Control: tags -1 + upstream patch fixed-upstream

Hi,

the following patch fixes this issue:

--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -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);
 }
 

The problem has already been fixed in the upstream repository by this commit:

  https://github.com/Z3Prover/z3/commit/27399309009314f56cdfbd8333f287b1a9b7a3a6

Kind regards,
Fabian