mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

preserve rule names when changing rules

Browse source
This commit is contained in:
Arie Gurfinkel 2017-07-31 15:38:48 -04:00
parent 5b9bf74787
commit a73023da97
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_rule.cpp
View file

@ -639,7 +639,7 @@ namespace datalog {
tail.push_back(ensure_app(conjs[i].get()));
}
tail_neg.resize(tail.size(), false);
r = mk(r->get_head(), tail.size(), tail.c_ptr(), tail_neg.c_ptr());
r = mk(r->get_head(), tail.size(), tail.c_ptr(), tail_neg.c_ptr(), r->name());
TRACE("dl", r->display(m_ctx, tout << "reduced rule\n"););
}
}