mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-05 10:50:24 +00:00
Code Activity

address #835

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-12-10 07:52:00 +01:00
parent fe10f2d244
commit 8e078cf9e2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz/rel/dl_relation_manager.cpp
View file

@ -1622,7 +1622,7 @@ namespace datalog {
m_union_fn = plugin.mk_union_fn(t, *m_aux_table, static_cast<table_base *>(0)); m_union_fn = plugin.mk_union_fn(t, *m_aux_table, static_cast<table_base *>(0));
} }
virtual ~default_table_map() {} virtual ~default_table_map_fn() {}
virtual void operator()(table_base & t) { virtual void operator()(table_base & t) {
SASSERT(t.get_signature()==m_aux_table->get_signature()); SASSERT(t.get_signature()==m_aux_table->get_signature());