mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

remove unused reference to rm

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2013-09-02 21:22:44 -07:00
parent 878905c13c
commit 1cf2b7c2d3
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/muz/transforms/dl_mk_subsumption_checker.cpp
View file

@ -252,7 +252,6 @@ namespace datalog {
if (!rel) { if (!rel) {
return; return;
} }
relation_manager& rm = rel->get_rmanager();
func_decl_set const& candidate_preds = m_context.get_predicates(); func_decl_set const& candidate_preds = m_context.get_predicates();