From d0dac831435fadba9c72975d43fc712a00ff1f54 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 28 Oct 2019 04:59:18 -0700
Subject: [PATCH] fix #2665

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/mpz.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 0e18e5821..433867626 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -68,12 +68,17 @@ inline uint64_t _trailing_zeros64(uint64_t x) {
     for (; 0 == (x & 1) && r < 64; ++r, x >>= 1);
     return r;
 }
+
+#if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64)
+// _trailing_zeros32 already defined using intrinsics
+#else
 inline uint32_t _trailing_zeros32(uint32_t x) {
     uint32_t r = 0;
     for (; 0 == (x & 1) && r < 32; ++r, x >>= 1);
     return r;
 }
 #endif
+#endif
 
 
 #define _bit_min(x, y) (y + ((x - y) & ((int)(x - y) >> 31)))