mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-17 09:56:39 +00:00
Code Activity

fix #5863

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-02-22 13:00:20 -08:00
parent 6af170b058
commit 6be0a66b38
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz/base/dl_util.cpp
View file

@ -286,7 +286,7 @@ namespace datalog {
ast_manager& m = mc->get_manager(); ast_manager& m = mc->get_manager();
expr_ref_vector body(m); expr_ref_vector body(m);
if (unreachable) { if (unreachable) {
body.push_back(m.mk_false()); body.push_back(m.mk_true());
} }
else { else {
for (unsigned i = 0; i < r.get_tail_size(); ++i) { for (unsigned i = 0; i < r.get_tail_size(); ++i) {