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 ();