From 0c16d34eb0eb9eb2627606431c631d896d547f6f Mon Sep 17 00:00:00 2001
From: Hari Govind V K <hgvk94@gmail.com>
Date: Tue, 30 Jul 2024 14:35:33 -0400
Subject: [PATCH] fix #7292 (#7316)

---
 src/qe/mbp/mbp_basic_tg.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/qe/mbp/mbp_basic_tg.cpp b/src/qe/mbp/mbp_basic_tg.cpp
index ce5e99eb1..693624871 100644
--- a/src/qe/mbp/mbp_basic_tg.cpp
+++ b/src/qe/mbp/mbp_basic_tg.cpp
@@ -101,7 +101,7 @@ struct mbp_basic_tg::impl {
                 bool is_or = m.is_or(term);
                 app *c = to_app(term);
                 bool t = is_or ? any_of(*c, is_true) : all_of(*c, is_true);
-                bool f = is_or ? all_of(*c, is_false) : all_of(*c, is_false);
+                bool f = is_or ? all_of(*c, is_false) : any_of(*c, is_false);
                 if (t || f) {
                     mark_seen(term);
                     progress = true;