From 36643aafd27cae92e5195b6dcb6f7847e9fb1ea9 Mon Sep 17 00:00:00 2001 From: Daniel Schemmel Date: Fri, 22 Feb 2019 19:54:53 +0100 Subject: [PATCH] fix -Wmisleading-indentation --- src/smt/theory_jobscheduler.cpp | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/smt/theory_jobscheduler.cpp b/src/smt/theory_jobscheduler.cpp index a7f877f15..fbf0a3eb2 100644 --- a/src/smt/theory_jobscheduler.cpp +++ b/src/smt/theory_jobscheduler.cpp @@ -499,7 +499,10 @@ namespace smt { std::ostream& theory_jobscheduler::display(std::ostream & out, job_resource const& jr) const { return out << "r:" << jr.m_resource_id << " cap:" << jr.m_capacity << " load:" << jr.m_loadpct << " end:" << jr.m_finite_capacity_end; - for (auto const& s : jr.m_properties) out << " " << s; out << "\n"; + for (auto const& s : jr.m_properties) { + out << " " << s; + } + out << "\n"; } std::ostream& theory_jobscheduler::display(std::ostream & out, job_info const& j) const { @@ -511,7 +514,10 @@ namespace smt { std::ostream& theory_jobscheduler::display(std::ostream & out, res_available const& r) const { return out << "[" << r.m_start << ":" << r.m_end << "] @ " << r.m_loadpct << "%"; - for (auto const& s : r.m_properties) out << " " << s; out << "\n"; + for (auto const& s : r.m_properties) { + out << " " << s; + } + out << "\n"; } std::ostream& theory_jobscheduler::display(std::ostream & out, res_info const& r) const {