From 8e0d9bf42def6b89d8ded2dc3652609e8c446183 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 29 Jul 2022 16:50:31 +0700
Subject: [PATCH] Remove remainder workaround for pre-MSVC2013. (#6204)
This workaround was built for _MSC_VER <= 1700. 1700 was
Visual Studio 2012, which is no longer supported for
building Z3.
---
src/util/hwf.cpp | 6 ------
1 file changed, 6 deletions(-)
diff --git a/src/util/hwf.cpp b/src/util/hwf.cpp
index 30ef36d3e..b1f0c3cbe 100644
--- a/src/util/hwf.cpp
+++ b/src/util/hwf.cpp
@@ -312,13 +312,7 @@ void hwf_manager::round_to_integral(mpf_rounding_mode rm, hwf const & x, hwf & o
}
void hwf_manager::rem(hwf const & x, hwf const & y, hwf & o) {
-#if defined(_WINDOWS) && _MSC_VER <= 1700
- o.value = fmod(x.value, y.value);
- if (o.value >= (y.value/2.0))
- o.value -= y.value;
-#else
o.value = remainder(x.value, y.value);
-#endif
}
void hwf_manager::maximum(hwf const & x, hwf const & y, hwf & o) {