From f26c12a9ad08643484cafde9664dcdc5effaec8e Mon Sep 17 00:00:00 2001
From: Hari Govind V K <hgvk94@gmail.com>
Date: Wed, 9 Mar 2022 15:31:39 -0500
Subject: [PATCH] fix #5882. Use model true when inlining (#5892)

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

diff --git a/src/muz/transforms/dl_mk_rule_inliner.cpp b/src/muz/transforms/dl_mk_rule_inliner.cpp
index f7646b14a..d3ad54bd9 100644
--- a/src/muz/transforms/dl_mk_rule_inliner.cpp
+++ b/src/muz/transforms/dl_mk_rule_inliner.cpp
@@ -449,7 +449,7 @@ namespace datalog {
             }
         }
         if (modified) {
-            datalog::del_rule(m_mc, *r0, l_false);
+            datalog::del_rule(m_mc, *r0, l_true);
         }
 
         return modified;