From 9c6672778bea58796c575bf0926ad492ec04818d Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 23 Nov 2017 16:12:06 +0100
Subject: [PATCH] fixed getting/setting the restart threshold in gmmxx
 environment

---
 src/storm/environment/solver/GmmxxSolverEnvironment.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 {