diff --git a/src/storm/solver/AbstractEquationSolver.cpp b/src/storm/solver/AbstractEquationSolver.cpp index e7583e346..d8e3e7b91 100644 --- a/src/storm/solver/AbstractEquationSolver.cpp +++ b/src/storm/solver/AbstractEquationSolver.cpp @@ -289,7 +289,7 @@ namespace storm { STORM_LOG_WARN("Iterative solver did not converge after " << iterations.get() << " iterations."); break; case SolverStatus::Aborted: - STORM_LOG_WARN("Iterative solver was aborted."); + STORM_LOG_WARN("Iterative solver was aborted after " << iterations.get() << " iterations."); break; default: STORM_LOG_THROW(false, storm::exceptions::InvalidStateException, "Iterative solver terminated unexpectedly.");