Fixed compiling OviSettings

4 years ago · 871a28d6f6
1 changed files with 0 additions and 1 deletions
--- a/src/storm/settings/modules/OviSolverSettings.cpp
+++ b/src/storm/settings/modules/OviSolverSettings.cpp
@ -14,7 +14,6 @@ namespace storm {
            const std::string OviSolverSettings::moduleName = "ovi";
            const std::string OviSolverSettings::precisionUpdateFactorOptionName = "precision-update-factor";
            const std::string OviSolverSettings::maxVerificationIterationFactorOptionName = "max-verification-iter-factor";
-            const std::string OviSolverSettings::useRelevantValuesForPrecisionUpdateOptionName = "use-relevant-values";
            const std::string OviSolverSettings::upperBoundGuessingFactorOptionName = "upper-bound-factor";
            const std::string OviSolverSettings::upperBoundOnlyIterationsOptionName = "check-upper-only-iter";
            const std::string OviSolverSettings::useNoTerminationGuaranteeMinimumMethodOptionName = "no-termination-guarantee";