diff --git a/src/solver/SolverSelectionOptions.cpp b/src/solver/SolverSelectionOptions.cpp index 2b42908aa..5c09d7cb8 100644 --- a/src/solver/SolverSelectionOptions.cpp +++ b/src/solver/SolverSelectionOptions.cpp @@ -27,6 +27,8 @@ namespace storm { return "Native"; case EquationSolverType::Gmmxx: return "Gmmxx"; + case EquationSolverType::Eigen: + return "Eigen"; case EquationSolverType::Topological: return "Topological"; }