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) {