From a17cffbbe36b1d3ffbc45fdc80c13d44c44055b8 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 17 Jun 2016 17:58:05 +0200
Subject: [PATCH] added missing switch case for new eigen solver

Former-commit-id: fbbb6e5828d3f68c5ae516594610dc89ae0a0bb9
---
 src/solver/SolverSelectionOptions.cpp | 2 ++
 1 file changed, 2 insertions(+)

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";
             }