diff --git a/src/storm/environment/solver/GmmxxSolverEnvironment.cpp b/src/storm/environment/solver/GmmxxSolverEnvironment.cpp
index bad8d8f45..8b8992db4 100644
--- a/src/storm/environment/solver/GmmxxSolverEnvironment.cpp
+++ b/src/storm/environment/solver/GmmxxSolverEnvironment.cpp
@@ -38,11 +38,11 @@ namespace storm {
     }
     
     uint64_t const& GmmxxSolverEnvironment::getRestartThreshold() const {
-        return maxIterationCount;
+        return restartThreshold;
     }
     
     void GmmxxSolverEnvironment::setRestartThreshold(uint64_t value) {
-        maxIterationCount = value;
+        restartThreshold = value;
     }
     
     uint64_t const& GmmxxSolverEnvironment::getMaximalNumberOfIterations() const {