Silenced a confusing warning.

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;
             }