From 3458e42d05ac22b57093d0577e94c01463772298 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 23 Nov 2017 16:07:37 +0100
Subject: [PATCH] removed a WARN message at wrong position

---
 src/storm/solver/SymbolicNativeLinearEquationSolver.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/storm/solver/SymbolicNativeLinearEquationSolver.cpp b/src/storm/solver/SymbolicNativeLinearEquationSolver.cpp
index 53bcabdcd..e4b0d8a0d 100644
--- a/src/storm/solver/SymbolicNativeLinearEquationSolver.cpp
+++ b/src/storm/solver/SymbolicNativeLinearEquationSolver.cpp
@@ -50,8 +50,6 @@ namespace storm {
                 if (method != NativeLinearEquationSolverMethod::Power && method != NativeLinearEquationSolverMethod::RationalSearch && method != NativeLinearEquationSolverMethod::Jacobi) {
                     method = NativeLinearEquationSolverMethod::Jacobi;
                     STORM_LOG_INFO("The selected solution method is not supported in the dd engine. Falling back to  '" + toString(method) + "'.");
-                } else {
-                    STORM_LOG_WARN("The selected solution method does not guarantee sound results.");
                 }
                 STORM_LOG_WARN_COND_DEBUG(!env.solver().isForceSoundness(), "Sound computations are not supported in the Dd engine.");
             }