From 3ac7cbe1c5316dc8eaab62fbc3b338e390c5867a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 28 Apr 2013 12:51:33 -0700 Subject: [PATCH] fix build breaker Signed-off-by: Nikolaj Bjorner --- src/muz_qe/dl_rule.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz_qe/dl_rule.cpp b/src/muz_qe/dl_rule.cpp index e43445396..1bbb1f342 100644 --- a/src/muz_qe/dl_rule.cpp +++ b/src/muz_qe/dl_rule.cpp @@ -202,7 +202,7 @@ namespace datalog { unsigned index = extract_horn(fml, m_body, m_head); hoist_compound_predicates(index, m_head, m_body); TRACE("dl_rule", - tout << mk_pp(head, m) << " :- "; + tout << mk_pp(m_head, m) << " :- "; for (unsigned i = 0; i < m_body.size(); ++i) { tout << mk_pp(m_body[i].get(), m) << " "; }