From 6402a125b1660ef07b853c38536838e2edeaec7f Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Wed, 10 Jul 2019 14:01:17 +0200 Subject: [PATCH] MultiobjectivePreprocessorResult: Added a missing linebreak --- .../preprocessing/SparseMultiObjectivePreprocessorResult.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessorResult.h b/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessorResult.h index 9e87eec4d..460ba3ec2 100644 --- a/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessorResult.h +++ b/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessorResult.h @@ -80,6 +80,7 @@ namespace storm { out << "--------------------------------------------------------------" << std::endl; for (auto const& obj : objectives) { obj.printToStream(out); + out << std::endl; } out << "--------------------------------------------------------------" << std::endl; out << std::endl;