From 0f566ddf380a765514d3498deccf8c953fba04bc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 7 Dec 2019 11:09:52 +0300
Subject: [PATCH] fix #2789

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/qsat.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/qe/qsat.cpp b/src/qe/qsat.cpp
index d242e0e11..dbb93c32f 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;