diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index 2d2a2b494..6244533f0 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -1055,6 +1055,8 @@ namespace opt {
                 continue;            
             return false;
         }
+        if (min_cardinality == UINT_MAX)
+            return false;
         expr_ref_vector new_fmls(m);
         expr_ref_vector soft(m);
         for (unsigned k = 1; k <= min_cardinality; ++k) {