removed obsolete option

7 years ago · e5e2a2465b
1 changed files with 0 additions and 1 deletions
--- 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;
            };
            
        }