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