From e5e2a2465bbfa4bfe7c044d9fb7340320dd522f5 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 27 Feb 2018 09:51:27 +0100
Subject: [PATCH] removed obsolete option

---
 src/storm/settings/modules/MinMaxEquationSolverSettings.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/settings/modules/MinMaxEquationSolverSettings.h b/src/storm/settings/modules/MinMaxEquationSolverSettings.h
index fc5add0c4..ce8b5756c 100644
--- a/src/storm/settings/modules/MinMaxEquationSolverSettings.h
+++ b/src/storm/settings/modules/MinMaxEquationSolverSettings.h
@@ -120,7 +120,6 @@ namespace storm {
                 static const std::string valueIterationMultiplicationStyleOptionName;
                 static const std::string intervalIterationSymmetricUpdatesOptionName;
                 static const std::string forceBoundsOptionName;
-                static const std::string quickValueIterationRestartOptionName;
             };
             
         }