From 9981df3f927da91072190ae167f98bddc92f1a4b Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 26 May 2020 09:39:15 +0200
Subject: [PATCH] Z3LpSolver: Removed exception that was thrown by accident.

---
 src/storm/solver/Z3LpSolver.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/solver/Z3LpSolver.cpp b/src/storm/solver/Z3LpSolver.cpp
index a769dff47..4c2baf05c 100644
--- a/src/storm/solver/Z3LpSolver.cpp
+++ b/src/storm/solver/Z3LpSolver.cpp
@@ -323,7 +323,6 @@ namespace storm {
             storm::utility::openFile(filename, stream);
             stream << Z3_optimize_to_string(*context, *solver);
             storm::utility::closeFile(stream);
-            STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "Exporting LP Problems to a file is not implemented for z3.");
         }
         
         template<typename ValueType>