mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

Remove a print

Browse source
This commit is contained in:
Arie Gurfinkel 2018-05-17 14:55:28 -07:00
parent 05c8067392
commit d1a7c0ceb0
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/muz/spacer/spacer_unsat_core_learner.cpp
View file

@ -76,7 +76,6 @@ void unsat_core_learner::compute_unsat_core(expr_ref_vector& unsat_core)
// TODO: remove duplicates from unsat core?
verbose_stream() << std::endl;
// move all lemmas into vector
for (expr* const* it = m_unsat_core.begin(); it != m_unsat_core.end(); ++it)
{