mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-08 07:03:23 +00:00
Code Activity

remove duality junk on stdout

Browse source
This commit is contained in:
Ken McMillan 2013-11-09 13:55:01 -08:00
parent 0cc5c169a4
commit c4f7b4d0d4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/duality/duality_solver.cpp
View file

@ -2107,7 +2107,7 @@ namespace Duality {
if(j < old_chs.size() && BaseName(chs[i]->Name.name().str()) == BaseName(old_chs[j]->Name.name().str())) if(j < old_chs.size() && BaseName(chs[i]->Name.name().str()) == BaseName(old_chs[j]->Name.name().str()))
cex_map[chs[i]] = old_chs[j++]; cex_map[chs[i]] = old_chs[j++];
else { else {
std::cout << "unmatched child: " << chs[i]->Name.name() << std::endl; std::cerr << "WARNING: duality: unmatched child: " << chs[i]->Name.name() << std::endl;
cex_map[chs[i]] = 0; cex_map[chs[i]] = 0;
} }
} }