From 20416c1a7b25dfae3375e4a96cc2b8059a4fe89f Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 8 Apr 2025 14:23:55 +0200
Subject: [PATCH] mingw fixes

---
 src/sat/cadical/cadical_congruence.cpp | 2 +-
 src/sat/cadical/cadical_vivify.cpp     | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/sat/cadical/cadical_congruence.cpp b/src/sat/cadical/cadical_congruence.cpp
index 8fbceee24..dd5f30b7a 100644
--- a/src/sat/cadical/cadical_congruence.cpp
+++ b/src/sat/cadical/cadical_congruence.cpp
@@ -5981,7 +5981,7 @@ void Closure::rewrite_ite_gate (Gate *g, int dst, int src) {
 #endif
           } else {
             CADICAL_assert (false);
-#ifdef WIN32
+#if defined(WIN32) && !defined(__MINGW32__)
             __assume(false);
 #else
             __builtin_unreachable ();
diff --git a/src/sat/cadical/cadical_vivify.cpp b/src/sat/cadical/cadical_vivify.cpp
index 8d99c2932..5ec6401cf 100644
--- a/src/sat/cadical/cadical_vivify.cpp
+++ b/src/sat/cadical/cadical_vivify.cpp
@@ -1501,7 +1501,7 @@ inline std::vector<vivify_ref> &current_refs_schedule (Vivifier &vivifier) {
     return vivifier.refs_schedule_irred;
     break;
   }
-#ifdef WIN32
+#if defined(WIN32) && !defined(__MINGW32__)
   __assume(false);
 #else
   __builtin_unreachable ();
@@ -1523,7 +1523,7 @@ inline std::vector<Clause *> &current_schedule (Vivifier &vivifier) {
     return vivifier.schedule_irred;
     break;
   }
-#ifdef WIN32
+#if defined(WIN32) && !defined(__MINGW32__)
   __assume(false);
 #else
   __builtin_unreachable ();