Browse Source

fixed compiling

tempestpy_adaptions
TimQu 7 years ago
parent
commit
7bdecad4ad
  1. 2
      src/storm/settings/modules/TopologicalEquationSolverSettings.cpp

2
src/storm/settings/modules/TopologicalEquationSolverSettings.cpp

@ -76,7 +76,7 @@ namespace storm {
} else if (minMaxEquationSolvingTechnique == "quick-value-iteration" || minMaxEquationSolvingTechnique == "qvi") {
return storm::solver::MinMaxMethod::QuickValueIteration;
}
STORM_LOG_THROW(false, storm::exceptions::IllegalArgumentValueException, "Unknown underlying equation solver '" << equationSolverName << "'.");
STORM_LOG_THROW(false, storm::exceptions::IllegalArgumentValueException, "Unknown underlying equation solver '" << minMaxEquationSolvingTechnique << "'.");
}
bool TopologicalEquationSolverSettings::check() const {

Loading…
Cancel
Save