mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-01 11:51:20 +00:00
Code Activity

fix coi filter to consider 0 cases

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2013-08-08 15:02:18 -07:00
parent a0d79c8dd7
commit af700e88cf
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/muz_qe/dl_mk_coi_filter.cpp
View file

@ -36,7 +36,6 @@ namespace datalog {
// ----------------------------------- // -----------------------------------
rule_set * mk_coi_filter::operator()(rule_set const & source) { rule_set * mk_coi_filter::operator()(rule_set const & source) {
TRACE("dl", tout << "Hello";);
if (source.empty()) { if (source.empty()) {
return 0; return 0;
} }