From d9d8b8db98037361305f96fcdad443c0fa73436d Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 4 Apr 2019 21:40:01 +0200
Subject: [PATCH] Silenced a confusing warning.

---
 src/storm/settings/modules/NativeEquationSolverSettings.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/storm/settings/modules/NativeEquationSolverSettings.cpp b/src/storm/settings/modules/NativeEquationSolverSettings.cpp
index f96bd8714..5167ea1ce 100644
--- a/src/storm/settings/modules/NativeEquationSolverSettings.cpp
+++ b/src/storm/settings/modules/NativeEquationSolverSettings.cpp
@@ -117,11 +117,6 @@ namespace storm {
             }
 
             bool NativeEquationSolverSettings::check() const {
-                // This list does not include the precision, because this option is shared with other modules.
-                bool optionSet = isLinearEquationSystemTechniqueSet() || isMaximalIterationCountSet() || isConvergenceCriterionSet();
-                
-                STORM_LOG_WARN_COND(storm::settings::getModule<storm::settings::modules::CoreSettings>().getEquationSolver() == storm::solver::EquationSolverType::Native || !optionSet, "Native is not selected as the preferred equation solver, so setting options for native might have no effect.");
-                
                 return true;
             }