diff --git a/src/storm/settings/modules/EigenEquationSolverSettings.cpp b/src/storm/settings/modules/EigenEquationSolverSettings.cpp index 3047a13a4..e43bda28b 100644 --- a/src/storm/settings/modules/EigenEquationSolverSettings.cpp +++ b/src/storm/settings/modules/EigenEquationSolverSettings.cpp @@ -113,6 +113,7 @@ namespace storm { case EigenEquationSolverSettings::LinearEquationMethod::DGMRES: out << "dgmres"; break; case EigenEquationSolverSettings::LinearEquationMethod::SparseLU: out << "sparselu"; break; } + return out; } } // namespace modules diff --git a/src/storm/settings/modules/NativeEquationSolverSettings.cpp b/src/storm/settings/modules/NativeEquationSolverSettings.cpp index d797a968a..d85b10569 100644 --- a/src/storm/settings/modules/NativeEquationSolverSettings.cpp +++ b/src/storm/settings/modules/NativeEquationSolverSettings.cpp @@ -120,6 +120,7 @@ namespace storm { case NativeEquationSolverSettings::LinearEquationMethod::WalkerChae: out << "walkerchae"; break; case NativeEquationSolverSettings::LinearEquationMethod::Power: out << "power"; break; } + return out; } } // namespace modules