diff --git a/src/storm/solver/SymbolicLinearEquationSolver.cpp b/src/storm/solver/SymbolicLinearEquationSolver.cpp index 4e018586d..0a77e2b34 100644 --- a/src/storm/solver/SymbolicLinearEquationSolver.cpp +++ b/src/storm/solver/SymbolicLinearEquationSolver.cpp @@ -63,7 +63,7 @@ namespace storm { if (converged) { STORM_LOG_TRACE("Iterative solver converged in " << iterationCount << " iterations."); } else { - STORM_LOG_WARN("Iterative solver did not converge in " << iterationCount << " iterstions."); + STORM_LOG_WARN("Iterative solver did not converge in " << iterationCount << " iterations."); } return xCopy; diff --git a/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp b/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp index f8a8a3ad2..5ceb5b7d7 100644 --- a/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp +++ b/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp @@ -60,7 +60,7 @@ namespace storm { if (converged) { STORM_LOG_TRACE("Iterative solver converged in " << iterations << " iterations."); } else { - STORM_LOG_WARN("Iterative solver did not converge in " << iterations << " iterstions."); + STORM_LOG_WARN("Iterative solver did not converge in " << iterations << " iterations."); } return xCopy;