From 6be0a66b3898a248313bae792ce0df760e8fd85a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 22 Feb 2022 13:00:20 -0800
Subject: [PATCH] fix #5863

---
 src/muz/base/dl_util.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/base/dl_util.cpp b/src/muz/base/dl_util.cpp
index 5114cb1c3..eb832f93e 100644
--- a/src/muz/base/dl_util.cpp
+++ b/src/muz/base/dl_util.cpp
@@ -286,7 +286,7 @@ namespace datalog {
             ast_manager& m = mc->get_manager();
             expr_ref_vector body(m);
             if (unreachable) {
-                body.push_back(m.mk_false());
+                body.push_back(m.mk_true());
             }
             else {
                 for (unsigned i = 0; i < r.get_tail_size(); ++i) {