fix #2789

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

1 files changed, 3 insertions, 1 deletions

diff --git a/src/qe/qsat.cpp b/src/qe/qsat.cpp
index d242e0e..dbb93c3 100644
--- a/src/qe/qsat.cpp
+++ b/src/qe/qsat.cpp
@@ -1079,7 +1079,9 @@ namespace qe {
                     TRACE("qe", tout << "component of core is not true: " << mk_pp(c, m) << "\n";
                           tout << mdl << "\n";
                           );
-                    return false;
+                    if (mdl.is_false(c)) {
+                        return false;
+                    }
                 }
             }
             return true;