mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-21 13:23:39 +00:00
Code Activity

simpler

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-09-12 18:35:39 +02:00
parent 8bc4932092
commit 7b9726a95c
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/polysat/conflict_core.cpp
View file

@ -61,9 +61,9 @@ namespace polysat {
constraint_manager& conflict_core::cm() { return s().m_constraints; } constraint_manager& conflict_core::cm() { return s().m_constraints; }
std::ostream& conflict_core::display(std::ostream& out) const { std::ostream& conflict_core::display(std::ostream& out) const {
bool first = true; char* sep = "";
for (auto c : m_constraints) for (auto c : m_constraints)
out << (first ? "" : " ; ") << c, first = false; out << sep << c, sep = " ; ";
if (!m_vars.empty()) if (!m_vars.empty())
out << " vars"; out << " vars";
for (auto v : m_vars) for (auto v : m_vars)