From 84476b7000b822b11b2b914e01e60c151f970575 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 15 Mar 2019 10:03:19 +0100
Subject: [PATCH] Fixed getSmtSolver which previously did not respect the
 SmtSolver selection from the settings.

---
 src/storm/utility/solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/utility/solver.cpp b/src/storm/utility/solver.cpp
index 34982374e..67bef02ef 100644
--- a/src/storm/utility/solver.cpp
+++ b/src/storm/utility/solver.cpp
@@ -106,7 +106,7 @@ namespace storm {
             }
             
             std::unique_ptr<storm::solver::SmtSolver> getSmtSolver(storm::expressions::ExpressionManager& manager) {
-                std::unique_ptr<storm::utility::solver::SmtSolverFactory> factory(new MathsatSmtSolverFactory());
+                std::unique_ptr<storm::utility::solver::SmtSolverFactory> factory(new SmtSolverFactory());
                 return factory->create(manager);
             }