mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 00:18:45 +00:00
Code Activity

fix build breaker

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2013-04-28 12:51:33 -07:00
parent 3f45782814
commit 3ac7cbe1c5
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz_qe/dl_rule.cpp
View file

@ -202,7 +202,7 @@ namespace datalog {
unsigned index = extract_horn(fml, m_body, m_head); unsigned index = extract_horn(fml, m_body, m_head);
hoist_compound_predicates(index, m_head, m_body); hoist_compound_predicates(index, m_head, m_body);
TRACE("dl_rule", TRACE("dl_rule",
tout << mk_pp(head, m) << " :- "; tout << mk_pp(m_head, m) << " :- ";
for (unsigned i = 0; i < m_body.size(); ++i) { for (unsigned i = 0; i < m_body.size(); ++i) {
tout << mk_pp(m_body[i].get(), m) << " "; tout << mk_pp(m_body[i].get(), m) << " ";
} }